Haha... admittedly I did not count the pins but it's about that yeah. I came across the Weitek but didn't occur to me they'd make the socket able to fit both. I guess both are pin compatible with the socket then. That Weitek seems to be described as having a vastly different architecture but being overall inferior (by virtue of its limited support and application). Still, if my 387 doesn't fit at least I have another option.