Choi is not in the lineup for Tuesday's game against the Mariners.
The 25-year-old Choi has logged all of two at-bats against lefties this season so his absence against Ariel Miranda is hardly surprising. Choi isn't getting it done against right-handed pitching, batting .165/.261/.361, and it would make sense if Nick Buss (also a lefty batter) ate into Choi's at-bats against righties moving forward.