He wouldn't get the shot right with a faster shutter speed, he would just lose details in the shadows and get a sky that would be mediocre at best. In order to get the sky to look blue at noon in this scenario, the shadows would be pretty much straight black.
I totally agree with you in getting a shot right out of the camera rather than fixing it in photoshop, but in this case it will simply necessitate shooting at a different time with better light. So my vote is for #1, and shot either way earlier or way later in the day, depending on where you want your highlights and shadows to fall.