Hi Fellow Villagers! does anyone have any experience in using a scorching tub at their residence although not included under a Lanai? Making an attempt to determine if we have to shell out $8-10k (ouch) on the Lanai extension or just put in the recent tub on our BBQ patio https://ricardosagmr.wikilentillas.com/1377471/pergola_things_to_know_before_you_buy