Thanks for the quick feedback. Kimmo's advice might be too ambitious this time around, but it's good to know it can be done. I think checking the cable and hitting it with WD-40 is in order.
Be sure to relube the brifter after WD40.
What do you recommend for lube?