This is a net vs. gross issue. If HR fucked up and paid him too much, and he’s willing to give back the net amount he received, it should be on the asshole in HR that created this mess to go get the rest back from Uncle Sam, not Blades.