Ya know what? That's EXACTLY what I did yesterday. After a bit of sand-paper to remove a little rust from the cables, I first applied some oil and then a whack-load of WD40 into those holes. Didn't work initially, but after letting is sit overnight, it seems to have fixed the problem! No more...