I'm going to be busy until Thursday and won't be able to touch Supermodel much until then but before I forget, I wanted to point out that I suspect many of the enemies in LA Machineguns should be flat-shaded. I haven't checked yet and will do so at the end of the week when I get a chance. A conspicuous example is the pair of tanks that appear in the Las Vegas stage midway through. They are not shaded at all but almost certainly should be. I think all of the bad guys running around seem like they suffer from this problem as well.
What is your current thinking on this, Ian? That IsNotShaded() in the Pro-1K manual refers to the bit we use for fixed shading? That the bit actually indicates whether the polygon has vertex normals or not? If I remember correctly, your thinking was that when lighting is enabled and there are no vertex normals, fixed intensity is used. Or is there another as-yet unknown bit that might control whether normals are sourced per-vertex or from the polygon face? In the case of the latter, one could imagine a second bit switching between flat shading and per-vertex fixed shading.