Hi fellow Villagers! does any one have any experience in using a scorching tub at their property although not included under a Lanai? Seeking to figure out if we must commit $8-10k (ouch) over a Lanai extension or simply just put in the new tub on our BBQ patio space https://claytontwjsk.wikibriefing.com/3278777/pergola_no_further_a_mystery