I saw WD40 for a second by itself, and thought I was gonna have to remind someone of a technical fact, that it's a temporary, cleaning lube that soon evaporates, heh.
Anyway, white lithium grease is what was used, what you should continue to use. A spray sounds messy, so probably best to stick with a tube.