Hello fellow Villagers! does any person have any encounter in employing a hot tub at their dwelling but not included beneath a Lanai? Attempting to figure out if we need to commit $eight-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio spot https://daltonyzwsl.wikibestproducts.com/1392490/details_fiction_and_tarpaulin