From what your telling me he is running 18.75 amps to 19.5 amps depending on line voltage. If this is on a 15 amp breaker it is bad and should be replaced NOW.

But I suspect it is on a 20 amp dedicated circut and he has it maxed out, if you plug one more thing in it will trip.