I still have one of those coins.
They were used in
THIS.
I seem to recall this being in the middle of the pits at the 2001 "FIRST National" in Epcot. That was my senior year of high school.
Every single bit of your robot had to be traceable to a catalog number.
I remember scouring the thing looking for things with potential alternate uses.