You sound way too much like a gator fan. Mammarelli isn't somehow less good just because he isn't a blue chip anymore.
89.79 and 90 is basically the same thing anyways, I don't get caring about that. If our class had a 86 rating or something then sure