My '06 WRX 2.5 has a head gasket leak so on my way in. The timing belt was supposed to have been replaced by AJW only 4,000 miles ago but now the belt has no marks, no arrow and no brand name. Does this mean it is the old OE belt, or would all marks wear off a new belt in 4,000 miles.

The bolts holding the water pump don't look like a wrench has ever touched them, and the outside of the water pump is oxidized & scruffy. This makes me wonder if the timing belt and water pump were really replaced. Your thoughts?