I was just looking at the Stern JP Pro manual and they ***STILL*** list this part in their maintenance kit:
8 oz pinball playfield wax (Novus # 2) (675-0003-01)
This little bit of misinformation has been cut and pasted from previous manuals for years.