I called MicroSys and they want $50 for their DK1190 developers kit:
2 cables and the manual!
The 4 page "brochure" on MicroSys' website has the pinouts of the connectors but not the default jumper settings.
I sent their tech support an email today and am waiting for a reply.
Has anyone here got one of these? Alltronics tells me they got them from a bankrupt company as new and "sold about a hundred of them and no one ever reported any trouble"