So yeah, the weights of oil isn't marketing gimic. It matters.
Does it matter that maybe there is 0W or 5W in the Pilot for one change? Yeah, a little tiny bit. Probably totally negligible unless the ambient temps at the time it is used are very cold. So if it was 10W-40, most people would probably say you should change it cause it is a bigger difference at operating temp.
My point is that you don't really know the dealer put in what the receipt says. If it was me, I'd go to the dealer and ask about that. Ask if what the receipt says is always accurate, and should you be concerned. Hopefully your dealer is cool and they'll spend a few minutes having a discussion, and let you know whether or not they have a variety of oils that they always use, and how they confirm it for a customer. It sucks but more likely, the guy will be dismissive and try to blow you off. But you never know. It is a good idea, in my opinion, to at least try to have a rapport with your dealer or mechanic, especially if you're going to go back again for any regular visit.
Read more about oil viscosity and decide what you think is best. I'd probably leave it unless it was the second number that was off. But I change my own oil so I don't have to wonder.