Keep in mind that ALL RepG does to load firmware is
1. Provide you a list of possible port names the printer may be tied to,
2. Issue the avrdude command to load the firmware using the selected
.hex file and printer port name.
So, if you're comfortable working from the command line -- from a
terminal window -- then you can just issue the avrdude command manually
to load the firmware.
Dan