Smartcards that work with RHEL and where to buy?

I foolishly bought some "test smartcards" off from eBay. I recently received a bunch of Atmel AT88SC153 cards and spent most of the night trying to get them to work. I'm thinking that they aren't supported . . . Redhat lists some cards that will work, but I can't find them anywhere. Anyone had luck with purchasing smartcards for RHEL?