Back in August of 2008, NFL star and wide receiver Chad Johnson changed his last name to "Ochocinco", which was a nickname he went by as a spin off of his jersey number of 85. But when he signed with the Miami Dolphins earlier this year, he wanted to start fresh.

On Monday, the Dolphin's wide receiver found himself in the the Broward County courthouse for a hearing in which he changed his last name back to Johnson. The filing of the name change cost him $401.

Since Chad Johnson will be playing for his hometown Miami Dolphins this upcoming NFL season, do you Dolphins fans want to see Johnson on the back of your merchandise, or were you content with Ochocinco?