UPDATE: for anyone curious of this, I noticed an NPC in Motostoke make the comment that - “I would pick my favorite gym leader’s number, but I would be too nervous!”
I don’t know if that changes anything, but I found it curious that we started this discussion then I found a reference in game about it.