Here's the tiebreaking head-to-head records...
Rockies, Padres, Mets
Padres: 4-2 vs Mets, 4-2 vs Rockies (8-4, .667)
Rockies: 4-2 vs Mets, 10-8 vs Padres (14-10, .583)
Mets: 2-4 vs Padres, 2-4 vs Rockies (4-8, .333)
Rockies, Padres, Phillies
Padres: 3-4 vs Phillies, 4-2 vs Rockies (7-6, .538)
Rockies: 4-3 vs Phillies, 10-8 vs Padres (14-11, .560)
Phillies: 4-3 vs Padres, 3-4 vs Rockies (7-7, .500)
So actually, the Rockies have the choice if it's the Phillies who are involved... |