Who knows whether or not I am right or not? What I am quite certain of, is that I'm not likely unique when it comes to not being able to appreciate the small differences in quality that cost the most. Which is to say that for me and a lot of other people, it seems pointless to get hung up on whether one pair of very good headphones sound marginally better than another pair of very good headphones. Unless you're working in a studio as a sound producer, at a certain point the audio quality simply ceases to be the most important attribute of a pair of headphones. I don't know if it's true that you can get a pair of wired IEMs that sound better than the AirPods Pro, but even if it is, it's irrelevant, because the AirPods Pro sound fine to most people who buy them.
Through the years I've owned several different brands of headphones in the price range $100–$150 that I bought because reviewers claimed they were extraordinarily good value for the money when it came to sound quality. And maybe they were, but I've hated most of them for getting mostly everything else wrong: Wrong length of wire, wrong placement of microphone and buttons, and just horrible build quality.