How much do you think we pay in total for the 2 deep on our team? Do you think there are formal incentives built in based on being All SEC, All American, etc? I would love to understand how this works better. It really seems like we are over 15 million in NIL annually for the football team. Is that sustainable?