We first reported a couple of weeks ago that Bengals receiver Chad Johnson had filed paperwork aimed at legally changing his name to Chad Ocho Cinco.

According to our friends at 790 The Ticket in Miami, it’s now official.

Chad Johnson is Chad Ocho Cinco.

But if that’s the case, his team has yet to get the memo.  There’s still a Chad Johnson on the roster — and no one named Ocho Cinco (or, as some might prefer, Asso Holo).