Hello Fellow Villagers! does any one have any knowledge in employing a hot tub at their house but not covered under a Lanai? Trying to figure out if we must expend $eight-10k (ouch) on the Lanai extension or maybe install the hot tub on our BBQ patio spot and see https://devindgbyr.iamthewiki.com/8697124/izmir_pergola_an_overview