 I'm just saying, compared to that, is that paying for his name, 125? Well, that's my point is that, now look, they didn't have to give him anything. So I'm not saying they owed, you know, they didn't have to give him anything. But if they're going to give him a bonus for putting Colorado football on the national map, it should have been way more than $250,000.