Hi Fellow Villagers! does any one have any knowledge in utilizing a incredibly hot tub at their home although not covered less than a Lanai? Hoping to figure out if we have to commit $8-10k (ouch) over a Lanai extension or simply just install the hot tub on our BBQ https://zandernaiox.blogofchange.com/34604257/everything-about-izmir-pergola