Over inflated for sure!
If there was an issue, they’d have been screaming during the game.
Balls constantly lose air. Who can tell the diff between 10 PSI and 12 PSI?