I had a similar problem at about 70 K miles - sometimes the engine would start off with no problem, sometimes it would start after pushing the clutch pedal all the way down (as far forward as it would go) and sometimes it just wouldn't start. I would wait a bit and it would start. Replaced the switch and solenoid (the solenoid wasn't very expensive) and haven't had a problem since.