I don't know much about wheels. I know Specialized often has wheels made for them so you can't always just buy what is on the bike. DH's stumpjumper is this way, a model of DT Swiss you cannot find.

My husband's has Mavic Kysrium wheels (not sure which ones but his bike is all Dura-Ace so probably whatever was tops at the time). These guys have been bomb proof. They are rarely needing to be trued, I think only twice in the 3 years he has had them. Pretty light and aero. He has well over 10k on the bike and no complaints on the wheels.