Couple of questions first: Did he clear the code for the # 4 before he restarted it and what is the voltage from the bettery when it is off?
The reasons I ask these questions are that it certainly is possible for other issues besides a coil to cause a missfire. A plug , injector or even a bad piston ring can cause the code. The code is tripped when teh engine detects a loss of RPM when it should be firing that cylinder. On the front of the crankshaft is a sensor that detects the RPM very accurately.
The battery question is because the alternators are routinely suspect on these especially as of late on teh V8 SHO list, but a bad battery will cause the alternator to overload shortening it's life, I have personal experience on that. Another issue could be the MEGA fuse or alternator fuse in the underhood fuse box is blown and even though you have power from the alternator it isn't charging anything. I have also experienced this and a cross threaded Mega-fuse post nut that was crossthreaded that ruined a battery and alternator simultaneously.