Send us a text Did you love the home run derby that ended this year's actual All-Star game? The players sure did. But not having real pitchers makes it an entertainment product and not a real baseball thing. It's fine for an exhibition game but real games should not be decided in the 10th inning wi…