I think this would be either EHX Key9 (which actually doesn't have MIDI) https://www.youtube.com/watch?v=av4X84lChEE or Roland GR55 https://youtu.be/YqKZYUExYCs (which actually can be used for other sounds than piano), or possibly some older Roland device.