Hi Fellow Villagers! does anybody have any knowledge in using a incredibly hot tub at their property but not covered underneath a Lanai? Trying to figure out if we must invest $8-10k (ouch) over a Lanai extension or simply set up the new tub on our BBQ patio space and https://izmir-awning60368.signalwiki.com/1377872/a_review_of_izmir_pergola