heh. yeah I think the baud rate is totally irrelevant here - the slowness is governed almost entirely by the delays between sections of the PCL data being sent. I guess those delays were just decided empirically based on the two supported types of printer (Epson FX-80 and HP LasterJet III).
Indeed, 19200 is the fastest supported rate for the serial port on that test set!