It’s fair to say no one knows if he was “warmed up”, but he was throwing and there was even a delay after wallner lost his glove over the fence. Dont buy that he couldn’t have been loose once the game was tied.
Rocco tried to squeeze two more outs out of him so he wouldn’t burn another pitcher. And it bit him.