I've been using an Anatek Pocket Record for the past 34 years. Bought it when I was 14. That's value!

https://www.izcorp.com/wp-content/uploads/pm_Pocket-Record.j...

Yes I've seen a few people mention that! All of the best MIDI hardware recorders are ancient, for whatever reason. Well, apart from Jamcorder ;)