Hello fellow Villagers! does any one have any encounter in using a hot tub at their house although not lined under a Lanai? Making an attempt to determine if we need to invest $eight-10k (ouch) over a Lanai extension or simply install the new tub on our BBQ patio spot and find out In the event the bugs/insects will be tolerable? (We'd forecast most