Hello fellow Villagers! does anybody have any encounter in using a hot tub at their home although not covered less than a Lanai? Hoping to determine if we must expend $eight-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio area and see https://alexisknmhq.wikikarts.com/1371766/5_simple_statements_about_izmir_tente_explained