I know lasershowparts.com sells an entire mitsubishi correction kit and Drlava at (some point or maybe even still?) sells correction optics other then just a lens for correcting a red 638nm diode.
But what vendors/options are out there?
I'm 100% sure it's listed somewhere but the red holy grail topic is humongous and it seems kinda spread around.. maybe I just suck at looking though