Hello Fellow Villagers! does any individual have any knowledge in using a hot tub at their household but not covered under a Lanai? Making an attempt to figure out if we have to commit $8-10k (ouch) on the Lanai extension or merely install the new tub on our BBQ patio https://lorenzowieyr.blogcudinti.com/34286592/everything-about-izmir-pergola