Hello fellow Villagers! does everyone have any practical experience in using a scorching tub at their house although not lined less than a Lanai? Seeking to figure out if we need to spend $eight-10k (ouch) with a Lanai extension or maybe set up the hot tub on our BBQ patio location and see If your bugs/insects is going to be tolerable? (We would pr