The colorful Holiday Inn $25 chip you refer to was issued by the Boardwalk Casino (aka, Holiday Inn Boardwalk) in Las Vegas.
In the U.S. Casino guide / 4th edition, go to page 36 (top). It's the 3rd issue $25 chip listed there.