Hello Fellow Villagers! does any one have any working experience in utilizing a hot tub at their home but not included below a Lanai? Hoping to determine if we have to commit $8-10k (ouch) with a Lanai extension or simply just put in the hot tub on our BBQ patio https://jaidenknlzg.kylieblog.com/34706055/how-izmir-tente-can-save-you-time-stress-and-money