So - I did some hunting and found some reman BOSCH OE units (MPA 15479) that are pretty inexpensive:
partsbin - $171.80 (use code "WELCOME5")
eBay - $178.46 (with eBay bucks)
Prob just gonna go with one of these. Assume I will need a new o-ring but otherwise i should be good to go. Replaced both belts when I did my water pump last year.