I'm hoping, wishing, praying to replace our Intex pool next year. She's been great for four years, but age is starting to catch up to her. I know doughboys have a good reputation, but I'm curious if they are as proprietary as the Intex. Does anyone have any feedback?