Hi Fellow Villagers! does everyone have any encounter in utilizing a incredibly hot tub at their house but not included under a Lanai? Seeking to figure out if we must invest $8-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio space and https://rowannfuky.illawiki.com/1400245/indicators_on_izmir_pergola_you_should_know