Yikes, I hope he is ok. That's the freaky stuff in our job that you would be hard pressed to protect yourself from. We had a repair crew set to a job to replace some Vic rubbers and as the helper climbed in the pit he had is hand on the jamb and pit ladder and got lit up. Found out the anchor holding the pit ladder to the wall was hitting a underground electrical pipe. Been that way for years and no one knew till he got bit.