Following PoTreeBoy's comment I had the same thought. 15w40 is likely what's in there now, so to me there's a logic to consistency. I may be overthinking that though?
Also to add, 5w40 isn't in the manual, is there a reason for that? Like, it's an 08, is 5w40 just more commonly used than it...