Thanks for the replies! I'd read somewhere that the OEM stuff was better quality than the new replacements and might be worth maintaining, and then there's the cost - looks like $250 and up on ebay. But it's hard to say how many leaks might be on the old original, or how long it would hold up, so I guess I'm leaning toward replacement. Does anyone have a recommendation on best price/product source?