Hi fellow Villagers! does anybody have any expertise in using a hot tub at their home although not protected under a Lanai? Trying to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio place https://elliottyhloq.robhasawiki.com/11241462/detailed_notes_on_izmir_pergola