Hi fellow Villagers! does everyone have any encounter in using a warm tub at their house but not lined under a Lanai? Hoping to figure out if we must commit $eight-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio spot and find out Should the bugs/insects are going to be tolerable? (We would forecast most of our Scor