> These German made Stainless Steel replacements are actually a bit cheaper
> than the non-stainless originals, at $133 (with your listmember discount).

Heh. There goes Terry K's $500-a-set cash cow. Will that $133 each be
the same for the late model pipes coming later?