Just keep an eye on it. If you are still having problems with turning the motor over it might happen again. Like I said I did what you just saw 3 times. Whenever the starter box does not turn the motor over and you keep trying to, it gets hot and then THAT happens.