Hi fellow Villagers! does any person have any encounter in employing a incredibly hot tub at their household but not included below a Lanai? Attempting to figure out if we need to spend $8-10k (ouch) with a Lanai extension or perhaps set up the new tub on our BBQ patio https://cristianddbxr.luwebs.com/34824209/a-review-of-pergola