Yes, Liz, Lanai and Patio are the same. Kind of a shame use a fancy Hot tub as a pond but the I bet the jets and lights would be really impressive at night with fish and night blooming water lilies.
But is but a dream. Right now it is a back up water supply in the even the power goes out. We are on catchment so no power means no pump for the water. Filled it up 2 years ago for a hurricane and have not had the top off since.