Hi Fellow Villagers! does everyone have any working experience in employing a hot tub at their household although not included underneath a Lanai? Hoping to determine if we need to shell out $eight-10k (ouch) over a Lanai extension or simply put in the new tub on our BBQ patio place https://codyjldyj.wikitidings.com/6309298/5_essential_elements_for_pergola