I think the most accurate roster info, in terms of eligibility years and other particulars, is here:
https://miamihurricanes.com/sports/football/roster/
El Gammal is opting out. He's not on the roster, but I believe he's still in school and can opt in at any time.
And if we're going nerdy, I...