I didn't find a manual but got some advise from a guy that owned one a long time ago. Wouldn't you know it? One of the screws was TIGHT and even though I was using the proper screwdriver, I ended up buggering the head.
I might be able to get it out with some small vise-grips. Luckily, the screw is still available - I can order a few when I get the firing pin.