Help: REPAIR device damage

Syntax:  REpair [<units>]

Repair damaged ship devices.  If a ship suffers a  critical  hit
to  a  device,  REPAIR can be used to restore the device to full
(or partial) working order.   A  REPAIR  removes  the  specified
units  of  damage  from  each damaged device, in addition to the
normal repair rate of 30 units per turn.  If the ship is DOCKED,
the  pause  time  for the specified REPAIR is reduced by half of
that needed  while  in  flight.   If  the  repair  size  is  not
specified,  REPAIR  defaults to a 4 second repair (50 units + 50
more if docked).  REPAIR does NOT reduce the SHIP damage.

Examples:

RE 100          Remove up to 100 units of device damage.
RE              Same as "RE 100" if DOCKED, else same as "RE
                50".