As someone that works at a storage devices company - we do still manufacture 10K HDDs. They are faster than the 7200s of the same spec, by nature. All 2.5” drives for enterprise systems. And will actually continue selling them until ~2030. That said, they’re all but obsolete at this point, and aren’t really being developed on any more.
Not sure they did… I’ve never even heard of it before until just now