Harrahs Gulf Coast in Biloxi is listed as open but both of the $25 chips that are listed are shown as being obsolete. If they are obsolete what replaced them?