The net bonus appeared in my account last night, with net amount: $3975. That would mean approximately $7000 in deductions have been taken from the source for income tax or other purposes. Wow. Fingers crossed for a payroll error.
Not an error. Sigh.