Thanks to all. Does anybody have modern equivalents for each of these named lubes?