Sorry if this was posted elsewhere, but I couldn't find it so I figured I'd give this a shot with my being an out-of-towner and all. I read somewhere that the Reds were having a booth setup that personalized Jerseys with name and number in about 20 minutes. Anybody know anything about this?