Old 10mm laser melted in a fire, and I could only buy 12mm lasers on Amazon.
Really simple to print. I used PETG and retained the original screw to hold it in.
The author marked this model as their own original creation.