9 players are tied for the highest career batting average by a Reds right-hander at home, with an average of 1.000. The first three are Richie Lewis, Paul Noce and Mike Griffin.