A manual for a receiver I have says that lubricants to use are: MIL-G-3278 MIL-L-7870 What would be the civilian brand names or substitutes? Thanks Jack Antonio WA7DIA/4