Some notes on how it's going so far. Encoder dial was easy to remove: melted the 4 posts from the back first with a cone-tip to making drilling out the rest very easy. If I couldn't find a replacement part, this could almost be reparable. I'd cut a slot where the knob broke off, and insert a strip of firm metal (e.g., a piece of a AA battery clip and create a form around that with some epoxy. Shape to fit into an appropriate external knob.
The external trigger BNC is a bit of an odd-ball (to me, anyway). On the internal side of the connector, the cable isn't soldered on--it plugs in with a "harness" making it very easy to remove, but possibly difficult to find a replacement (pic attached).
The chassis is remarkably flexible. I assumed it was aluminum, but it seems softer. Was able to straighten most of it by hand, and pliers were sufficient to work out sharply-bent places (e.g., around where the external trigger BNC was smashed in sideways).
A loose screw may have been responsible for channel 4 dysfunction, but will have to wait until some reassembly to test.