WD40 is a brand with multiple products now, think they own plus gas now and gt85.
The best used to be automatic gear fluid, the red stuff (50%), mixed with paraffin (25) and diesel (25%) if using red or 28 second burn heating oil you need to drop 5% and add more Auro fluid
Just being facetious now that WD40 is a brand name covering a range of products. Plus Gas was to go-to when I were a lad.