I don't know, but I would take Lordatthestrings' advice and have it done by a guitar tech.

This will end up costing you a lot less than if you jack it up trying to repair it yourself.