John, was that the series of $1 Luxor Chipcos, or did it pre-date that? The Chipcos caused a stir when they first came out.
