Yes. If you'd like the details, the mapping from menu selection to .hex file is in a file named "boards.txt".
Yes, that's how I found the .hex file to use with avrdude. I wondered at the time if I should have done anything with the fuse and lock bits. Probably should have wondered harder. 
I'd still like to know exactly what happened to cause my current problem.
It always has for me. Which is why I use the IDE (brain ... overloading ... on ... fiddly-bits !!!).
I hear that! 
I've gone cross eyed figuring them out for PIC processors. Before flash, if you made a mistake you ended up bricking the chip. Still possible with flash but you really have to have your moron hat on.
I have plenty to keep me occupied this weekend so I'm just going to wait for USBtinyISP and re-do the bootloader. Maybe I'll read the current flash beforehand and see if I can tell what got clobbered.