Hello Fellow Villagers! does anybody have any working experience in using a very hot tub at their home but not coated underneath a Lanai? Trying to figure out if we have to invest $eight-10k (ouch) on a Lanai extension or merely put in the hot tub on our BBQ patio https://pergola05049.wikiusnews.com/1381583/5_simple_techniques_for_izmir_pergola