I would hope they did it right, as its not a difficult thing to do...but you never know...
It takes 15 minutes to check it yourself...you need a lifter 'feeler' gauge from a parts store, which is cheap...its just a little tool with about 15 different metal slides that fit under the cam lobes when the nose is point straight up...and each slide is marked with a thickness...and you simply fit the thickest slide in you can, and thats your lash...
so you simply take off the valve cover, get the splash shield off on the passenger side so you can get a wrench on the crank pulley bolt...remove the spark plugs so its easy to crank the engine by hand...and just start writing down your lash for every single valve...ONLY turn the cams by turning the crankshaft clockwise, DO NOT turn the cams themselves by any means...you'll load up the timing belt incorrectly and it could easily skip a tooth (usually on the crank sprocket, and you'd never know it)...so just make a diagram on a piece of paper of all 16 valves, and start with which tappets you can access, and move the crank pulley bolt clockwise to change lobe position on other tappets...when you have all 16 written down, you're finished...
lash with stock cams should be .010 to .014" iirc, both intake and exhaust...this may not be your problem, but again...if it is too loose you can get some float that will dramatically mess up higher rpm...if your lash is not correct, the job is no longer simple...as you'll have to get the cams out and then measure the shims that made that lash...and order new replacements to fix it...