These $.50 cent chips were in a box of Kings Castle chips. Hard to believe they were from there with no name and state. Any thoughts?