Right, the standard tires are the Continental all-season tires.
The Michelin PS2's are a optional summer only tire, because it wouldn't make much since to have a summer only tire as standard...

I checked the box for the PS2's though, the best tire I've ever had for gripping the road dry or wet!
I won't be taking them in the snow though, that's for sure!