Protec Microsystems Pro-80, Pro-83, (S-100 SBC)

Some time ago I found these Z-80 SBC /S-100 trainers from Protec Microsystems Inc., not sure where, maybe ebay.
I recently first found a PRO-83

Then some more info about a Pro-80 including manual

http://dunfield.classiccmp.org/s100/index.htm
Were there more models. Any experiences?