I hope you got a complete list of everything they changed ! I dont know how the 2nd gens are, but hell, it only took me about 6 hours to do a complete timing belt kit change on my 1st gen. and the whole kit was around 300 bucks. I am sure there is a price difference, and maybe a different parts list on what should be changed, but I would think, and hope for that amount of time, and what they charged you that if its set up anything like the first gens, that for that kind of cash, they changed everything in there while they were in there.