https://thehabitofwoodworking.com/2023/what-kind-of-grease-for-power-tools/