В сидюках старых такие или очень похожие моторчики на передвижение головки использовались. В струйных принтерах и в видеомагнитофонах очень похожие видел.

врятли они там 12000 об мин, 2500 максимум

В автомоделизме и авиамоделизме подобные могут быть, спросите у народа здесь: https://izhevsk.ru/forumtopics/58.html

Есть подобные, но число оборотов их неизвестно.
WFC-280PT-21155
WFC-280SA-10250
WFC-280SA-10250
WEIZHEN MOTOR