Dispite all that, if you're worried about it, have another shop check the car out, especially the timing belt, and compression.

If anythings outa spec as far as the engine goes, a compression test would be a good first step.