my favorite tricep exericse is one arm over head dumbell extensions but it started fucking up my elbows so i backed off and focused on using the pulleys for a while, elbows got better, nowdays what i like to do is warm up the triceps with a few sets of extensions using the pulleys then do a couple sets of over head dumbell extensions afterwards. works well.
I have no issue with pulleys either, but it doesn't matter how warmed up I am they still hurt. I've been sticking to CGBP, pushdowns with different attachments and even reverse grip pushdowns.
On a little side note, I can do standing overhead cable extentions with no pain at all.