The cutting oil brand? ... it has been a while since I have used any and I am out of it me-self. I would just go to that GOOD and well-stocked tool-and-die tool supply store and tell them what you are doing. They should have that there in-stock.

Post what they say ...I need that info because I have 4 sets of heads(8 or so studs) I have to do !

Oh .... Sears has those GOOD square extractors.