Koreans Kill Reds

...As my friend Billy says whenever Shin-Soo Choo dominates a series in the Battle of Ohio (he's 5-for-9 with two doubles and a homerun in the first two games of the current Reds/Indians series).  But do Koreans as a whole hit better against the Cincinnati Reds?  There have been 13 players native to South Korea in major league history: 11 pitchers, former Cubs/Marlins/Dodgers first baseman Hee-Seop Choi, and current Indians' rightfielder Shin-Soo Choo.  Koreans have had 237 plate appearances against the Reds.  Here is what their numbers SHOULD be, if they hit for their career norms against the Reds:

BA   OBP  SLG  HR RBI
.245 .338 .409  6  25


Here is what Koreans have actually done against the Reds:


BA   OBP  SLG  HR RBI
.281 .380 .573 14  32


Choi, a career .240 hitter, hit .306 with 7 homeruns in 72 at bats against the Reds.  Choo, a .289 hitter, increased his average to .344 against Cincinnati, with 7 homeruns in 90 at bats.  Those two players account for 195 of the 237 Korean plate appearances against Reds pitching.  So it's really just two players, but Koreans do indeed kill Reds.