There are couple irrelevant client NREs with that particular player that happen time to time (with many other players as well, we've unable to solve that one so far but it has not also broke anything so it's been low in our prios). But nothing else, no connection errors at that time either.
No customization in connection configs.
And yup, so far everything's been working like a charm, connection timeouts been quite short etc. And we haven't had any reports like this at all. A bit worrysome for sure.
Looking at Grafana + player sessions there are some quite many short sessions (from a minute to a few minutes) from the time at during that hour those problems happened. I'm pretty sure the player has had some connection problems. But playing the mentioned Gauntlet mode for 10 maps takes around 10-20 minutes, and none of them being registered by the server, so by the default behavior the client should have been surely go to an error state during that time. But by their replies no error popups/what not error handling we have implemented did not trigger, game played normally except for the leaderboard issue.