There's no such thing as "Summer time". What we have during winter is the astronomical time. Otherwise, I don't know whether I have a preference. I guess we could switch them up every other year or so, in order to sunset any confusion in the morning.

"Second" thoughts you say? I would love to hear of his thoughts in the First place.