I had to check and it says 40 for mine as well. I've never paid attention honestly.. always have bought off road diesel at the local fuel distributor.
I just read the comment here a while back so no source sadly. I'm not saying it's an issue in terms of performance, function, or engine...