Hi fellow Villagers! does anyone have any working experience in utilizing a scorching tub at their household but not protected less than a Lanai? Attempting to figure out if we need to commit $8-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ patio https://pergola27047.wikiworldstock.com/1384694/5_simple_statements_about_izmir_tente_explained