Hi Fellow Villagers! does any one have any experience in utilizing a very hot tub at their dwelling but not protected less than a Lanai? Seeking to figure out if we must spend $8-10k (ouch) on the Lanai extension or merely put in the new tub on our BBQ patio https://izmir-pergola30379.eveowiki.com/1386414/5_simple_statements_about_izmir_awning_explained