Thanks for your feedback. I have a few more rolls of Portra 160 and a roll of Ektar you may be seeing one day.
And thanks for the tip about the LR Curve tool. I have been using the LR Curve tool for controlling lights and darks, but for some reason, I have not been using it for color corrections. I have tried using the basic green:magenta slider but adjustments toward the green side usually resulted in the neutral gray tones (concrete, etc.) shifting too much to green before the magenta sky was fully corrected. The magenta seems to somehow be firmly associated with the blue sky, and even after using gradient and brush tools to limit the correction to the sky, I have not been able to get the skies the way I want them. I have been using Lightroom since 2016, and I agree that this should be a "pretty easy fix" but, so far, I am still struggling with it. However, I just played around with the curve tool set to the green channel, and I think that will be more helpful than some of my previous attempts.