"Coming from the one 2000 watt lamp alone you have the 16.6 Amps, With basic ohm's law. let alone what else is on the circuit. It's probably a good chance it is overloaded."

I thought it was a misconception that a GFCI receptacle will trip on overload. I thought it would only trip on ground fault.

I think I will ask him to let me check out the lamp, just to satisfy my curiosity.