No, the employer matching contribution should not appear in box 12 of your W-2. In your example, it should show with code D only the $5,000 of elective deferral you made from your pay. The amount reported with code D is also excluded by your employer from the amount your employer reports in box 1 of your W-2.
