Thanks! You’re right about needing to know what repair manual they use in their shop. They are the only Subaru dealer in 100 mi. and I’m assuming they would use the Subaru factory manual. What I’d like to know is what the Subaru factory manual advises for tensioner test/replacement intervals. I spoke with the service manager this morning and he tells me they rarely replace tensioners and that he’s seen very few failures in his 20+ years of servicing Subarus. I asked him whether the water pump should be replaced as long as they’ve got it apart, and he replied that Subaru water pumps rarely fail, but that he would install a new one for no charge. reading some more posts this morning I’m now wondering whether the cylinder heads could be damaged as well from colliding with the valves. This seems like a terrible can of worms.