Hello fellow Villagers! does any one have any practical experience in employing a hot tub at their house although not included underneath a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) over a Lanai extension or simply just set up the recent tub on our BBQ https://izmir-awning92233.yourkwikimage.com/1358889/5_simple_statements_about_izmir_tente_explained