All batteries get hot when charging. Especially at a high amperage. If he was attempting to start the engine with a dead battery that had already been in the charger, and also had a charger set to let's say 200 amp start mode I would expect it to be hot.