So the other site is saying pic taken at 10:25 am. So which is it 10:25 or 5:25? Looks awfully dark to be 10:25am just about right though for 5:25 am I'd say.
What were morning temps on 10/12 vs 10/15? I remember thinking it was much warmer the morning of 10/15 than it had been just a few days before. Certainly no jacket required for 10/15. If you're cold natured, maybe you wanted one on 10/12? I don't know.