Greetings,
Mr. F. If you ever have to "bump" the engine over again, one of these is cheap and easy...
Automotive Service Tool Sets - K-D Tools 124 Remote Control Starter Switch
You can get them cheaper. I think I paid about $12 for mine at Harbor Freight.