There are even some less than reputable establishments that will give you money even before receiving your actual refund, as long as you pay them back with your actual tax refund money.
If the employee is not able to recover the money, then the actual income was $ 12,000, tax would have to be owed on $ 12,000, and HMRC would refund the rest of the taxes to the employee.