Hi, no not had the chance to speak to the dealer.
It’s happened a couple of times since, very annoying.
I pretty much drive exclusively in Nurburgring mode in M+, it’s happened less recently as I think I was constantly trying to shift up slightly too early when in traffic. Not definitive so will wait and see and definitely feels like a bug.