Thanks.
However, it seems that the "could use 504" line in the manual would imply that the manual assumed something "better" on the sticker, i.e. 508 in the evo4 case. (Using 504 instead of 504 was a joke, not a typo.) Perhaps they just didn't bother pushing for 508 for gas mileage due to the...