Yeah I mean that’s definitely true that I wouldn’t know about the ones that didn’t make it to the amateur ring.
The one doing the 1.25s was just listed as “has jumped up to 1.30” in the ad and had videos with a professional. It’s like 10 years old so I would think that it would’ve done higher. I’m not suggesting the ad said it was a washed up 1.30m horse but it has not competed higher than that. But maybe it has jumped higher and that was an older ad though you definitely could be right.
Edit: I looked up the horses FEI and yeah it only goes to 1.30m until very close to the time of import. And yes it’s very amateur friendly jumping around the 1.25s with a very bad rider lol.