does anyone have a service manual or know where i can find one? a few keys on my dw8000 are dead and i'd like to fix it. thanks!