Those are different than the deere branded consumer silly tools.
OTC service tools for JD equipment, totally different story.
You will have to find the right person to buy them tho, looks like bearing and front end tools....
(And the drain plug wrench from hell)