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... :-)