Well if you have your provisioning station setup right, you should be able to put the servicebooks on from the BES, right?

I know when my work Bberry is fried, the nerd from IT plugs it in and clicks his mouse and gives me my Bberry back.