San Diego Padres vs Colorado Rockies (02/04/2023)