Hello Fellow Villagers! does anyone have any experience in employing a very hot tub at their dwelling although not lined beneath a Lanai? Trying to figure out if we have to expend $8-10k (ouch) on the Lanai extension or simply just put in the hot tub on our BBQ patio https://spenceriifzt.jasperwiki.com/6633751/5_essential_elements_for_pergola