Hi fellow Villagers! does any individual have any experience in using a very hot tub at their dwelling although not included below a Lanai? Trying to figure out if we must invest $8-10k (ouch) on the Lanai extension or merely put in the recent tub on our BBQ patio region https://izmirtente24109.eveowiki.com/1369300/izmir_pergola_can_be_fun_for_anyone