I got tired of the sync error, and had saved the production .hex (see earlier post) for future investigative work, so I just plugged my programmer into the Leonardo and burned the bootloader using the IDE. It seems to work fine now. I hope this was an uncommon problem (odd firmware on a new device), because I doubt many Leonardo owners will also own an AVR programmer.