 }
 
 void initializeSwitchLed() {
+  pinMode(RED_LED_PIN, OUTPUT);
   pinMode(GREEN_LED_PIN, OUTPUT);
   pinMode(BLUE_LED_PIN, OUTPUT);
-  digitalWrite(GREEN_LED_PIN, HIGH);
-  digitalWrite(BLUE_LED_PIN, HIGH);
+  digitalWrite(RED_LED_PIN, HIGH);   // LED off
+  digitalWrite(GREEN_LED_PIN, HIGH); // LED off
+  digitalWrite(BLUE_LED_PIN, HIGH);  // LED off
 }
 
 void initializeAmplifier() {

}

void trellisIsr() {
  detachInterrupt(digitalPinToInterrupt(INT_PIN));
  state = IDLE_LIGHT_UP;
}



Adafruit_Trellis trellis = Adafruit_Trellis();
Adafruit_VS1053_FilePlayer player = Adafruit_VS1053_FilePlayer(MUSIC_RESET_PIN, MUSIC_CS_PIN, MUSIC_DCS_PIN, MUSIC_DREQ_PIN, CARD_CS_PIN);
ClickEncoder encoder = ClickEncoder(ENCODER_A_PIN, ENCODER_B_PIN, ENCODER_SWITCH_PIN, 2, LOW, HIGH);


unsigned long nextReadTick = millis() + 1;
