Hello fellow Villagers! does anybody have any knowledge in using a scorching tub at their home but not lined less than a Lanai? Hoping to determine if we need to invest $8-10k (ouch) on a Lanai extension or simply set up the new tub on our BBQ patio space and see In case the bugs/insects might be tolerable? (We'd forecast the vast majority of our W