Hello fellow Villagers! does any individual have any expertise in employing a incredibly hot tub at their household although not lined beneath a Lanai? Hoping to figure out if we have to spend $eight-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio https://elliotwtajf.blogoscience.com/40372065/detailed-notes-on-tarpaulin