Yeah I’m pretty sure that’s the case now as opposed to years ago. When I lived in Tower C I had Jon Carter as a neighbor and Lee McRae lived there briefly as well. Good times.
When I lived in Tower A one year Randy Dixon, who ended up playing for the Colts for around a decade, lived on my floor. His roommate was a guy named Walter Johnson, who ended up in camp with the Cowboys or Giants (I can't remember which) but I don't think he ever played in a regular season NFL game.
I tried to get them to play on the intermural hoops team our RA put together, but alas, they declined.