I cleaned it really well, and on a warm, dry day, got out a can of Rustoleum (always to the rescue, it seems) and some sponge brushes.
A few hours, spread out over a couple of weeks later, I got this:
Better, yes? Perhaps not the most optimal color, but when the mood strikes, sometimes you've just got to use what's on hand.