Hi Fellow Villagers! does anyone have any practical experience in using a very hot tub at their household although not included under a Lanai? Seeking to figure out if we must shell out $eight-10k (ouch) over a Lanai extension or simply just install the recent tub on our BBQ patio https://deanvhtfn.thenerdsblog.com/39816266/details-fiction-and-tarpaulin