Has anyone ever used one of the stainless mixing elbows that are for sale on Ebay? I'm about ready to replace the second Yanmar mixing elbow on our Hunter 380 and found the stainless ones while google searching. Besides pricing is there any feedback on the benefits of stainless over the cast-iron?