Hi fellow Villagers! does any one have any knowledge in using a incredibly hot tub at their home but not covered beneath a Lanai? Seeking to determine if we must shell out $eight-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio location https://riverrpkfx.wikiannouncement.com/8168635/a_review_of_pergola