Changing the lens on the laser requires unscrewing the nozzle after removing the assist air fitting that collides with the focus pen holder:

All the 12 mm open-end wrenches in my Drawer o’ Spare Wrenches being much too large, I finally got around to making a custom wrench:

The plywood wrench came from a traced scan of a similar wrench, then adjusting the jaw opening to 12 mm. It served to verify the overall shape & size, then became a template for the real wrench atop a scrap of 1/8 inch aluminum sheet with flaking paint.
Some bandsawing and filing later:

A little wrench makes swapping the lens somewhat less tedious, which is a Good Thing™.
Protip: Remember to adjust the Focus Distance by the difference between the two lenses.
Spam comments get trashed, so don’t bother. Comment moderation may cause a delay.