Hello fellow Villagers! does anyone have any experience in using a incredibly hot tub at their household but not included underneath a Lanai? Hoping to determine if we have to shell out $8-10k (ouch) with a Lanai extension or simply put in the recent tub on our BBQ patio area https://knoxbebwq.onzeblog.com/34106602/the-definitive-guide-to-izmir-tente