Oh, they're just 4116's then. That's simple, as someone pointed out on
Discord Jameco sells them so I just bought 10 and 10 low profile sockets.
The other alternative was pulling apart one of my MSV11-D boards from
the Q-Bus world but that would be sad... :-)