Hi fellow Villagers! does everyone have any encounter in using a scorching tub at their house but not lined underneath a Lanai? Trying to figure out if we have to invest $8-10k (ouch) over a Lanai extension or perhaps put in the new tub on our BBQ patio place and see In the event the bugs/insects are going to be tolerable? (We'd predict almost all