Do we have a USBDM or can someone suggest an alternative?

I started building a filament width sensor for a 3D printer. http://www.thingiverse.com/thing:454584. When I got to the step to flash the MCU, I didn’t realize that I couldn’t use the Arduino programmer I already had. So I am up for suggestions. The worse case is I’ll just buy it but is we have one or if someone can assist that would be best.

Thanks!

USBDM board
http://www.evbplus.com/freescale_usbdm_osbdm/usbdm_osbdm_bdm_multilink.html

Holy smokes, I was just looking for a 9S12 programmer! Thanks!