Go bigger. As long as it doesn't look awkward or cause functionality problem. Costs more, but then it provides much more benefit. The cost difference has to be amortized across the life of the pool, then its not so expensive. Still only a fraction of the cost of an inground, and the difference cost less than all the other costs involved; pump, filter, heater, decking, patio furniture, lighting, landscaping. I gurantee the hardscape costs will be more than the entire pool itself, especially if you make it nice, such that the pool becomes a feature of the home, rather than something you have to explain or make excuses for.