Мне видится вполне нормальный цвет и тон пасмурного неба. Судить об этом могу только теоретически, поскольку какое небо было на самом деле знает только автор снимка. Даже если Олег разместит РАВ файл, это может быть не очень объективно, можно увести экспозицию в минус (ДД сюжета скорей всего в ДД камеры не "влезет" , мб снимок сделан с брекетингом и тд. Так что видней автору и сделать снимок контрастней и насыщенней - дело автора. Совсем не хочу никого учить или критиковать. Просто личное мнение. Хотя самого иногда "заносит". 

Оставил все как было. С небом точно ни чего вообще не делал. Пробовал немного насытить цвета, не понравилось, как то не натурально. Я думаю, что фотография должна передавать то, что я видел, а все разукрашки, законтрашки это не правильно. Тоже иногда смотрю свои фотографии 10-15 летней давности и ужасаюсь, как накручивал цвет, контраст и т.д. Можно конечно добавлять немного, в меру(она у каждого своя) но здесь не было цвета в оригинале, от слова совсем. Поэтому придумывать не стал. Это же не закат с рассветом, вот там можно немного поиграть с красками.

Дождь?