Hello Fellow Villagers! does everyone have any experience in using a hot tub at their household although not included below a Lanai? Making an attempt to figure out if we have to devote $8-10k (ouch) with a Lanai extension or merely set up the recent tub on our BBQ patio https://izmirawning21975.hyperionwiki.com/1240255/tarpaulin_options