Hello fellow Villagers! does everyone have any working experience in using a very hot tub at their household although not included less than a Lanai? Attempting to determine if we must spend $8-10k (ouch) over a Lanai extension or merely set up the hot tub on our BBQ patio region https://gunnerfgcyr.wikilentillas.com/1374907/5_simple_techniques_for_izmir_pergola