Thanks so much for the detailed info!
Just to update: I ended up exchanging the MKR1000 board and the new board is working perfectly. It showed up right away in the Arduino IDE.
So the main giveaway that the original board was defective was that the "L" LED did not light up when I did a reset (by double-pressing the reset button)