Here's a photo of the screw head. Unfortunately, it's recessed otherwise I would have tried to get at it with vice grips. Yes, it is #15 on that parts list (a 5x20 screw).
I have JIS screw drivers; unfortunately, this screw was pretty buggered when I got the bike, and a few treatments of penetrating oil and taps at a #2 JIS impact driver seems to have made it worse.
Any suggestions for how to get it out appreciated.