There was no code set for this particular problem. No they wouldn’t look it over until the problem occurred for them.
It actually happened for the mechanics today while at the dealership, and I just talked to the mechanic that worked on it. It was a shift linkage issue. He thinks they have the shift linkage adjusted properly now. He said that if it stops starting again to use the neutral position to start and bring it back, they will try again.