I assume you’re talking about a L6 Verado since you said it was a Pro? I only ask because the V8’s had a shift actuator service bulletin on the early ones, and 2018 would be right around the release of V8.
Normally you can’t have a fault popping up for you, and not have one saved on the engine. I would question whether or not the dealer is checking active faults or your fault history. If the fault isn’t actively going off when checked they will have to look in the history.