Bill, If you are referencing these two chips....

it could be because neither chip has "4th of July" or "Independence Day" displayed.

I certainly have those two chips logged as 4th of July chips on my collection list.
I noticed that the Golden Nugget, Laughlin has "4th of July" noted in its chipguide listing.