I help cleaning out a large repository of DEC parts. There a quantity of DEC core module assemblies appeared. According to PDF docs these must be PDP-15 MM15's, but no labels are on the boards. I show/offer some of them at retrocmp.com/flipchipshop , under "core memory" Can somebody confirm they are MM15's? Are any PDP-15 running at all? Thanks, Joerg