Hi Fellow Villagers! does anybody have any practical experience in employing a hot tub at their house but not covered less than a Lanai? Trying to determine if we have to shell out $eight-10k (ouch) on a Lanai extension or simply install the recent tub on our BBQ patio area https://codyjnusd.hamachiwiki.com/1378675/indicators_on_izmir_pergola_you_should_know