5 documented devices
Model 4580 Micro-Pace
Pace Medical
4170 Bedside pacemaker
4570 pacemaker
EV4543
REF4800