Ah, thanks for clearing that up.

uniserver, yeah it's a full 25MHz 040 but running at the stock 20. It came from an Amiga 4000 whose RAM sockets I broke while removing a huge Video Toaster board it had come with. Still one of my greatest retrocomputing-related disasters and regrets.