We learn something every day !
I sometimes buy other-than-duemilenova bootloaded chips for my embedded projects, and hook up my two boards to reload the original bootloader.
So I could have just tried selecting another board.....
@ OP, did the LED on the Arduino board flash once a second when you switched on ?