Jorge Polanco has the highest career batting average for the Mariners against Joey Estes, with an average of .429.