The 32016, 32018 (FPU), MMU chips, etc are in nice
turned-pin sockets. The
EPROMs are in cheap sockets. Replacing the latter sockets will often get a
dead machine going.
I think some of them might be early enough that they were still calling
them 16032
Quite likely. The chip was renamed for marketing reasons IIRC (it was a 16 bit chip
with 32 bit registers, renamed as a 32 bit chip with a 16 bit bus or some such).