Hi Dave,
It's a PG150C pump and a PDC-7 belt drive kit. I seem to remember paying around $800 for both pieces, but then I'm old & can't remember much

Regards, don (dynodon from a previous CHR life)