Nationally, the proportion of red cars on the road is 0.12. A statistically-minded fan of the Philadelphia Phillies (whose team color is red) wonders if Phillies fans are more likely to drive red cars. One day during a home game, he takes an SRS of 210 cars parked at Citizens Bank Park (the Phillies home field) while a game is being played, and counts 35 red cars. (There are 21,000 parking spaces.) Is this convincing evidence that Phillies fans prefer red cars more than the general population?