The cards in the auction actually came in the original packs. You could see the front of one of the two cards in the pack through the wrapper:
Here's the four cards I got:
They're nice looking cards. I may have to see if I can find any more of them.