I'm thinking less likely the sensor and more likely the exhaust camshaft is out of position. It could be caused by a bad camshaft sensor, but I think that's unlikely. I'm thinking it's more likely that that start-up and quick shutdown left the camshaft at the wrong timing position. But I'm not sure how you can get it back "home".