Hi fellow Villagers! does any person have any expertise in employing a incredibly hot tub at their property but not protected below a Lanai? Trying to figure out if we must commit $8-10k (ouch) with a Lanai extension or simply just install the new tub on our BBQ patio space https://tarpaulin64061.wikibriefing.com/3265125/5_simple_statements_about_izmir_awning_explained