Hello Fellow Villagers! does anybody have any experience in using a very hot tub at their home but not covered less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or just install the new tub on our BBQ patio location and https://jaredjidat.humor-blog.com/33095280/izmir-awning-secrets