The 25p chip definitely looks like it belongs with the rack of other denominations known to be used at the casino. Just because you did not see it in play, that does not mean that it was from another casino. It may have been sitting in the vault or it could be a prototype that was made for approval with the rest of the set but never ordered.