Hi Fellow Villagers! does anyone have any knowledge in utilizing a very hot tub at their residence but not coated underneath a Lanai? Attempting to figure out if we need to shell out $8-10k (ouch) on a Lanai extension or perhaps set up the recent tub on our BBQ patio https://cesarkgavn.wikicorrespondent.com/6183129/tarpaulin_secrets