A few points:

The overtime is not double time. 44120/461=95.70 which is basically $64*1.5=96

I haven't read anything about green card holders be ineligible for work (certain types of jobs yes but otherwise no)

In terms of what to deduct, why not use the amount in box 14 - The employer came up with this number and we have no proof that it is wrong or how they calculated it.

In terms of it not flowing - Maybe delete the W-2 and readd it?