Yes, he started at the 2007 All-Star game and wore 5 as he did all season long with the Reds. Found a pic on Gettyimages where you can see #5 on his short. To confirm what Phil mentioned, he did wear #7 in 2008 for San Jose after they selected him in the expansion draft.