Beats me, just an old standby brand kind of like WD40. But they have different numbers for different things. The one I always used was CRC-W56