No they will get the full amount, it is the unsecured who get sweet f all
Wrong. HMRC are not secured and are no longer preferential. They will get the few pence in the pound same as everyone else. The only preferential creditor these days (who gets paid in full before anyone else) is the Redundancy Payment section. They pay out the staff their statutory redundancy pay and claim it back if there are free assets. I don't think anyone really begrudges this being preferential.