Should the Dodgers use a six-man rotation?