Hi Fellow Villagers! does any one have any working experience in using a very hot tub at their home although not lined beneath a Lanai? Striving to figure out if we need to devote $8-10k (ouch) on a Lanai extension or simply install the hot tub on our BBQ patio https://izmirtente11986.wikinstructions.com/1379168/tarpaulin_secrets