Hello Fellow Villagers! does any one have any expertise in using a sizzling tub at their residence but not lined underneath a Lanai? Hoping to figure out if we need to invest $8-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio region https://spencerqdpal.wikigop.com/1262825/5_simple_statements_about_izmir_awning_explained