I don't follow non-Miami football enough to know -- have any of the 5 stars from last year been good enough where we would want them to be our starter in 2024? I made the argument then that the risk was too high to bet 7 figures on a kid who would most likely ride pine for 1 or 2 years, and even...