José Devers has the highest career batting average for the Marlins against right-handed pitchers at home with 10+ at-bats, with an average of .500.