Will Alex Rodriguez play in another major-league game?