How Much Should You Splash Out on a Swimming Pool?