Hello Fellow Villagers! does any one have any encounter in using a sizzling tub at their residence but not included underneath a Lanai? Trying to determine if we need to devote $8-10k (ouch) with a Lanai extension or just install the hot tub on our BBQ patio location and see https://griffinnucej.nizarblog.com/34326755/tarpaulin-options