Do you know if that was a pool with the endless jets added, or a swimspa?
I get the impression that the price scale goes down significantly from actual 25m pool (40K), to small pool plus jets (25k) to swimspa (15k)…but this is just surfing the web, it seems like nobody talks online much about swim facilities the cost and maintenance, so my confidence on these costs is low.
Then theres the question of effective training x days/week, even less info out there about that!