Hello fellow Villagers! does anyone have any experience in employing a very hot tub at their house although not lined less than a Lanai? Trying to figure out if we need to commit $8-10k (ouch) with a Lanai extension or perhaps put in the hot tub on our BBQ patio https://izmirtente97171.wikifordummies.com/8554020/tarpaulin_can_be_fun_for_anyone