Help!

Okay, we're talking about a 1990 740 GLE, 16-valve, about 290,000 miles. Gave it to my nephew, who has owned and worked on earlier Volvos. He's replacing the timing belts, and he's found pieces of a broken toothed pulley coming from the passenger-side of the engine. Symptoms are that he he had been driving it a little to just to keep it moisture free, and he had to limp back, with little power and a lot of oil smell.

He is pretty sure that it is the oil pump pulley, and he needs the pulley and the bolt. FCP Groton says it is "dealer parts only."

Any suggestions?
1. Is he likely to be right about the part? he hasn't been able to get a look underneath the car, or pull off the lower timing belt cover yet.
2. Any source for these parts other than a Volvo dealer and thus $$$$$$$$$$$?
3.. Does he likely have a need to replace the oil pump?

Thanks,
Brian