Hi Fellow Villagers! does anybody have any knowledge in utilizing a hot tub at their home but not covered less than a Lanai? Seeking to figure out if we have to expend $eight-10k (ouch) with a Lanai extension or simply put in the recent tub on our BBQ patio area https://izmirawning94714.digitollblog.com/33943060/izmir-awning-secrets