Did the Rockies ever pay his bonus? I heard he was missing 1 PA so they didn't do it? I'm hoping it was just so he could retire with a hit.