You are right, mr_qatar; but having 20 deg at 7:30 AM is new.