mike–i saw that one on amazon but says out of stock, ships in 1-2 months.
after loading the gallery of “mushroom vent” pictures on google, i found the same brand on eBay, sold by a supplier in “RV country” in northern indiana, for $12/free shipping.
here’s the link if you want to buy one for your battery box.
ken
