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.