[yotatechie04]

Both of those could be a possibility. I figure that the sensor was ready to go bad when they replaced the belt and stuff and finally killed itself when the engine light came on. But it is also possible that the timing belt was installed incorrectly and causes some severe engine shaking. Also, you might want to check and see that they put the "dog-bone" motor mount back in properly, and tight.