Hi Fellow Villagers! does anyone have any knowledge in utilizing a very hot tub at their dwelling although not covered beneath a Lanai? Seeking to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or maybe install the recent tub on our BBQ patio space https://beckettwzywt.wikiexpression.com/4347632/little_known_facts_about_izmir_awning