I have the manuals - the thumb screws are #11 -
Screen shot 2012-07-31 at 7.14.33 PM.jpg
I can't find any screw that will thread into the holes. Maybe they're metric. I have a lot of screws in my junk box, but none will fit.