Thanks very much Gary for your help and advice! We were afraid we might have to buy new equipment, but I figured it's a simple enough signal, I'd be very surprised if there isn't some way to get it working in Linux. (It works in Windows and DOS after all, with the manufacturer's ancient software... but I don't want to use these for a time server!)
To address your point about the GPS lock, there is supposed to be a GPS lock signal from the receiver. According to the specs, pin 8 in the DB-9 serial connector carries "GPS Lock". I imagine this is just a constant binary "on" or "off" signal. Likewise, pins 4 and 5 carry the PPS signals, and pins 2 and 3 carry the RS-232 ASCII text timestamps and control signals. (There is also a GPS Lock LED indicator on the device itself, so I know that it knows when it has a lock.)
Do you still think gpsd will not be able to work with the signal? If so, I won't pursue it further! I really appreciate your advice.
Thanks,
Devren