Hello fellow Villagers! does everyone have any knowledge in using a warm tub at their household but not lined underneath a Lanai? Trying to figure out if we need to commit $8-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio space and https://izmir-awning80875.wikiannouncing.com/6207555/everything_about_izmir_pergola