Tag: but how much did he actually get?