According to the bar's current manager, Allesandro Palazzi, shaking or stirring withice is not needed (nor desired, as it dilutes the drink) when you freeze the main ingredients.
The crew is so busy during the game when they're not on the ice they're refilling the Zambonis with water or entertaining the Garden of Dreams kids they estimate they see no more than three or four minutes of the action.