2 ms·WD40 is a brand. The do sell a dry PTFE (Teflon) lubricant for locks, among other things.by fmajid 3y agoWD40 is a brand. The do sell a dry PTFE (Teflon) lubricant for locks, among other things.