Hello Fellow Villagers! does anybody have any practical experience in employing a incredibly hot tub at their home although not coated below a Lanai? Trying to figure out if we have to commit $eight-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio https://traviskkhez.mywikiparty.com/1377170/tarpaulin_options