Hi fellow Villagers! does anyone have any knowledge in employing a warm tub at their house but not coated below a Lanai? Attempting to figure out if we need to shell out $eight-10k (ouch) with a Lanai extension or simply set up the recent tub on our BBQ patio region and find out if the bugs/insects might be tolerable? (We'd predict almost all of ou