Ocho Cinco punched Coach Lewis?

Yeah, this was rumored about back when it happened.