I'd remove the old solenoid, take it in to the local auto parts store and see if they could match up a starter solenoid from an older Ford car or truck. You'll never have to worry about it again. Or, you could put a cheapie replacement lawnmower part back on and be good for a few years, maybe.