Hi Fellow Villagers! does any individual have any expertise in employing a warm tub at their home although not covered underneath a Lanai? Trying to figure out if we have to spend $8-10k (ouch) on the Lanai extension or simply set up the hot tub on our BBQ patio spot https://jarednsvww.oneworldwiki.com/6664884/indicators_on_izmir_pergola_you_should_know