Hello Fellow Villagers! does any individual have any expertise in utilizing a hot tub at their dwelling but not included under a Lanai? Hoping to figure out if we have to invest $8-10k (ouch) on the Lanai extension or perhaps put in the hot tub on our BBQ patio space https://lukasteoxy.laowaiblog.com/33099032/5-simple-statements-about-izmir-awning-explained