Hi Fellow Villagers! does any one have any knowledge in employing a hot tub at their home but not covered below a Lanai? Striving to figure out if we need to devote $8-10k (ouch) over a Lanai extension or merely set up the new tub on our BBQ patio spot https://izmir-awning38157.mdkblog.com/39866038/little-known-facts-about-izmir-awning