i wouldn't know, i don't have an 63133 and even if i did i woudn't be pushing it past 200mw, better still, i wouldn't be pushing it at all

Well, the 405-g-2 and the 4mm optima, gives about 0.7mrad of divergence in a beam around 2x3mm. With a bit of tight knife-edging and a minor clipping, you have your 3x3mm beam. Not much power is on the fringes of the diode profile. The optima has less losses, compared to any other lens for red at the same FL.

If you absolutely need to have around 1mrad or a bit more, go for the 2mm lens dave supplies. In that case, you also need lens retainers to hold the tiny lens and dave's special made diode mounts to center the diode to the lens (careful alignment is needed)

If you can "cope with" less than 1mrad the Optima is a better solution, better in terms of ease of use, beam specs and alignment.