Nuking the BB does delete the service books and it is odd that this is happening with SP4 and Domino 7.02. I have never seen such. The only thing I am leaning against as a last resort is your BES profile and your state db.
Can you do an updall -r and a fixup -j on your state db. |