I personally love the back design. However your right. They are casino cards. I've always liked the aristocrat brand, casino or 727. These are basically cards that were printed in the 80's or early 90's inserted in a new vintage looking tuck. Made to look older then they actualy are.
Actually, they are - and aren't - casino cards. The design is clearly the casino-style design, especially with the colors used on the court faces, but minus the casino markings. If it was a genuine casino deck, it would have the casino's name on the card backs.
This is probably a product that was made at casino quality but for either consumer use or for distribution as a sample deck to casino equipment/supplies buyers. The old "Bumblebee" Bee decks are an example of the former. I have some Bee decks I was given that would be an example of the latter - they're in standard off-the-shelf tuck boxes, but they're traditionally cut and have barcoded tracking cards as used by casinos instead of the usual ad cards. Bill Schildman gave them to me a while back for doing him a favor.
The dating you've picked, Card Player, is probably close to right, but a little off. The photos on the site show an Ace of Spades with the code "E8053" printed on it. Decks with an "E" code on the Ace of Spades were manufactured in (among other years) 2003 and 1983. I'd guess at 2003, but the problem with my guess would be that I have no idea if USPC was still wrapping decks in foil as these were that late in their history.
They might be 1983 decks, and while 1963 is theoretically possible, I don't think they were using that set of court colors back then. The reds are that deep shade of red sometimes referred to as "security red" - so named because the brighter shade of red typically seen on over-the-counter decks doesn't show up very well on black-and-white security cameras (the problem is less pronounced on a color camera, but even there the darker shades show up better). Just judging from the state of closed-circuit TV technology in each of those years, I'd say that '63 is unlikely and '83 or '03 are the most probable choices. Since I think they wouldn't have been using the foil wrap that late in the game, '03 can possibly be eliminated, leaving '83 the likeliest choice. Older than any of those years would be extremely unlikely.
And of course, this assumes that the entire lot all share the same letter code. It's entirely possible they don't, but the odds favor them being of the same print batch, hence the same year. It would all depend on just how the Bucks acquired them and how the previous owner came to have them as well.
I am not one the people who decided to pick these up haha. Congratulations to those that did though.
You weren't alone. They were indeed tempting, but I opted not to based largely on the price.