Hi fellow Villagers! does any person have any experience in using a scorching tub at their household although not included under a Lanai? Hoping to determine if we need to shell out $8-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ patio spot https://pergola71368.wikiparticularization.com/1386467/everything_about_izmir_pergola