repairTime

Parameters

repairTime

how long a repair takes, in model time units