How about hiring a developer or two to make a brand new pool? How much would that cost?