PaulS:
int ledPin = 13; // the number of the LED pin
pinMode(ledPin, OUTPUT); // initialize the LED pin as an output
ledPin=LOW; // we starts with faceplate open and eyes off
Changing the value of the pin number has nothing to do with changing the state of the pin at the original number. That's what the digitalWrite() function was invented for. You've said nothing about how the switch is actually wired to the Arduino. That is critical to being able to read it properly.
When you are defining names for pins you should use the 'const' keyword:
const int ledPin = 13;
That would have caused an error when you accidentally tried to change the pin number:
ledPin = 0; // Can't do that to a 'const'