Yeah, not lamenting it at all. I would be super happy for Tyrese to realize his dreams, and it would be a very nice feather in Prohm's cap for future recruits.
Taking a bean pole like Tyrese and making him into an NBA player is a heck of a development story, too, that we should appreciate about the coaching staff.
I still want to enjoy him in Ames, though. He is the one guy of the "new era" so far who has the personality and attitude to match some of the Melvin, Georges, Naz, and Monté types of the last era of giving the team a leader and face and a hero the fan base can root for. Seeing him go early is great, but that does rob us of that fun. This is on top of him likely being the best player on the team starting now and through until he goes to the next level.