I have no idea why I needed to know this (I did), but somebody somewhere, some day, may as well. Thanks for answering your own question, for posterity.
I think I may have seen those boards on Ebay before, while on the hunt for some more NEC blue oval boards.