He didn't pay money out of pocket when he received the bonus check
It sounds like they withheld at the supplemental rate of 25%, plus the $250/paycheck he had already set up. So $375 of his $500 bonus went to tax withholding when he likely owed $100 or less on it. That all comes back when you file your taxes.