It wasn’t my regular service rep, and I mentioned the issue to him when he asked if there was anything else they needed to look at.
His response was that it would most likely be fixed with an OTA map update next week.
I wouldn’t get your hopes up. I don’t fully trust that answer, to be...
Interesting I got a total different story: I had new tyres fitted at Porsche Centrum Brabant today, and they mentioned that an OTA update is scheduled for next week. I’ve been following up with them on this for months..