Thanks for all the suggestions! It turns out the starter cutoff switch was bad. It's a white plastic connector right up under the seat on the left hand side, and so if you encounter a starting problem with the push button start not working, you can try tapping on it to see if it will jiggle into working. At least that's what the mechanic told me to try if it ever happens again. Thanks again and this is a great forum!!!