You're right. And he is a team of brave people (albeit a small one). You can see how C *might* just improve maintainability.
The speedup is mainly through demuxing the external busses, actually only running 40MHz.
Yepp, did the numbers on this one, too. Have done it before when a processor disappeared under us some 20+ years ago.
Cheers, Alf