Are alternate keyboards available for HP workstations?

Yes, HP has two keyboards available for their workstations and X Terminals.

A1099B - Workstation style keyboard (Default on workstations.)

A2205A - PC-101 style keyboard (Default on X Terminals.)

The 712 supports any PC-type keyboard and mouse.