or something like that. biggest guy i ever played with was 6'10" and 395 - not fat either. hadn't played enough football in his younger life to be able to compete with that type of body but he was very nimble for a guy that size.
FWIW. Michigan doesn't seem inclined to get re-involved.