I wouldnt go for any michelin for puncture protection my lithions sidewalls went on both after 50 miles. And ive had 4 sets of pro 4's and they all had sidewall or major cutting failures apart from the last set that got nicked with my bike, the only thing that kept me using them was the fact i was getting them as free replacements from michelin and the ride performance was amazing,
ive got a pair of conti ultrasports £10 each that have lasted me ages and i use them as a backup tyre and ive often rode them over gravel and rocks and taken them offroad and had no issues