Did Hollywood Park release these chips? I recall something about new ownership and thought I read that they started releasing these and then stopped. I did a search back to January and found nothing. Anybody got any for sale?