Hello fellow Villagers! does everyone have any knowledge in using a sizzling tub at their home but not coated underneath a Lanai? Striving to determine if we have to invest $eight-10k (ouch) over a Lanai extension or merely install the new tub on our BBQ patio place and find out if the bugs/insects will be tolerable? (We might predict almost all of