Hi Fellow Villagers! does any person have any expertise in utilizing a hot tub at their house but not included below a Lanai? Trying to determine if we must devote $8-10k (ouch) with a Lanai extension or merely put in the hot tub on our BBQ patio spot and see https://izmirtente34444.vblogetin.com/39741698/detailed-notes-on-tarpaulin