Yes, there was an in-house chip destruction of all their CHIPCO issues, but I don't recall any notice to the public to redeem outstanding Plaza chips. Trump Plaza is still redeeming their old chips and tokens.
