Yes, he said it all came back on after he turned the car off overnight and started
it the next morning. It also hasn't done it since.

So that's the crankshaft sensor?

How hard is that to put on (and is it very expensive)?

Thanks!