Sometimes employers have a lot of different codes on a paystub.  If you are positive that the $4,227.72 is really overtime and not some other paid benefit, go with the paystub.  Employers aren't required to put the information on a W-2 this year so there won't be any matching system in place.