Hi Fellow Villagers! does any person have any expertise in using a very hot tub at their property but not lined underneath a Lanai? Trying to figure out if we have to devote $8-10k (ouch) on the Lanai extension or maybe install the recent tub on our BBQ patio place https://izmir-pergola55442.gigswiki.com/5547274/the_best_side_of_tarpaulin