[MrB (Simon)]

Sorry, forgot to mention that at the time they were grinding 10" primary mirrors.
Whether that was a one-off occurrence or if it happens periodically is unknown to me so yes, worth sending them an email.