[David W]

Yes those are nice looking cards.

I think I have a couple, probably picked up at garage sales 20 years ago.

I also have no idea where they are, probably in boxes of 1990's cards, of
which I have a lot of.