Hi Fellow Villagers! does any individual have any encounter in employing a incredibly hot tub at their house although not lined below a Lanai? Striving to figure out if we have to invest $8-10k (ouch) with a Lanai extension or simply set up the hot tub on our BBQ patio https://spencermnkhc.goabroadblog.com/33079089/how-tarpaulin-can-save-you-time-stress-and-money