[Ron Ramirez]

Now that's unusual! I had never heard of the plastic disk shrinking before. I guess we shouldn't be surprised, though; these things are now 73 years old, and they aren't getting any younger.