Yes he has a summer job.
Once the error is corrected, his employer must be informed as well.
One more question for the documents that I will be needing, what do I need in order to get a new card?
The documents you need will depend on whether or not you are an established U.S. citizen.