Once it became Pick Hobson's Riverside, what $1 chips were in use at the same time as these $5 chips?

Did they just keep using the Jessie Beck's chips? Or maybe use tokens? Something else?