workmaster 25

I recently purchased a New Holland Workmaster 25. The RPM gauge wasn't working, so a tech from the dealer came to look at it. He was trying to adjust the air gap, and did something that caused the tractor not to start. It turns over, but won't start. He ordered a new sensor, but called me this...