Thanks, that's good advice all around. However, I naturally don't have the depot repair manual, and undoubtedly there have been advances in lubricants in 60 years, so what will be a good high-speed lubricant today? Richard Brunner, AA1P