Hello fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their household but not included underneath a Lanai? Hoping to determine if we need to devote $8-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio area and https://josuekewma.wikijournalist.com/5211938/izmir_awning_secrets