I have a pool. It is a total pain. Have you had one before? If not, listen and learn. The pump must run at least 12 hours per day, every day, whether you plan to use it or not. This is noisy and uses electricity at a quite frightening rate. Then there are the chemicals and the backwash. Every week you have to go out there (I assume it is out, not indoors), redo the chemicals and faff about with the pump and the valves to backwash the dam thing. You can guarantee that the previous people will have lost torn up with frustration the instructions, so you will be working blind, and may very well -like us spend the first summer pumping grunge back INTO the pool, rather than backwashing it out. All of this you have to do without fail regardless of the number of times you have actually gone in there, which given the British weather works out at an average of 50hrs cleaning per 10 min dip. You can of course just not bother, but then the pool will go green, and fill up with worms (I have no idea where the worms come from, but they bleach white in the chlorine, and look like spaghetti... yum), and you will be left looking embarrassed and stupid when your boss turns up in his Aston with his child, for a dip.
But, that said I LOVE my pool.
What I don't love however is the cleaning, of my house, which takes an entire day and encompasses 10 loos. Yes, you did read that right - 10! I have one for each day of the week with a few extra for guests. My toilet duck bill is verging on ridiculous and the Ocado man thinks I have some kind of problem.
So in summary, yes ladies size does matter, but big is not necessarily better.
If it were me, I'd go for it. But then I'm a sucker for punishment, love to swim, and my DH requires a lot of space to fill with junk