If I had to take a SWAG at it, I'd say the extra 1/2 inch is to mask a TDE.
Orion

"Richard DeLuca" wrote in message
news
Hi,

Does anyone know why 12.5 inches has always been such a common size for
a mirror?

Starry Skies,
Rich