If precision is important in the size of the dot you are projecting our 206 series Red Laser Dot Projecting Diodes are the right choice for your application. They are available in varying wavelengths, and output powers. 1mW-5mW, and others available.
The focusing tool, included, allows you to dial the diameter of the projected dot up or down, to meet your requirements. Each module is a complete laser assembly including all circuits, a laser diode, and optics packaged in a protective housing.