Hello fellow Villagers! does anyone have any knowledge in using a warm tub at their property but not lined under a Lanai? Making an attempt to determine if we must commit $eight-10k (ouch) over a Lanai extension or simply install the recent tub on our BBQ patio spot and see When the bugs/insects will likely be tolerable? (We might forecast the majo