I'm guessing it had to be the diameter plus manually removing it because it was mistaken for a electrical box punch out which are similar in size to a quarter. Both cups had several of those in them.
Disclaimer: While a tremendous amount of effort goes into ensuring the accuracy of the information contained in this site, Coin Community assumes no liability for errors. Copyright 2005 - 2026 Coin Community Family- all rights reserved worldwide. Use of any images or content on this website without prior written permission of Coin Community or the original lender is strictly prohibited. Contact Us | Advertise Here | Privacy Policy / Terms of Use