I just contracted for a "cost plus $5000" swimming pool installation. We've had pools at three previous homes... built one of those (in Texas about8 years ago)..... This one is just 16x 31..... with a spa... any thoughts on what is "cost" on this? Curious.