Hello fellow Villagers! does any person have any working experience in using a hot tub at their home but not included underneath a Lanai? Hoping to determine if we must invest $8-10k (ouch) on a Lanai extension or maybe put in the hot tub on our BBQ patio spot and https://rafaelggdbu.bloggactivo.com/33387999/5-easy-facts-about-izmir-awning-described