Score counter for pinball machine

Here is the setup() calling version...

// constants won't change:
const int LEDpin1K = 2;     // 100,000 LED
const int LEDpin2K = 3;     // 200,000 LED
const int LEDpin3K = 4;     // 300,000 LED
const int LEDpin4K = 5;     // 400,000 LED
const int LEDpin5K = 6;     // 500,000 LED
const int LEDpin6K = 7;     // 600,000 LED
const int LEDpin7K = 8;     // 700,000 LED
const int LEDpin8K = 9;     // 800,000 LED
const int LEDpin9K = 10;    // 900,000 LED
const int NEWgamepin = 12;  // pin to reset count at start of new game
const int OVERpin = 13;     // score roll-over pin


//Variables will change:
boolean  OVERState;             // variable for reading current state of OVERpin
int k = 0;                 // counting variable
boolean NEWgame;        //New game reset variable

unsigned long lastDebounceTime = 0;  // will store last time LED was updated
const long interval = 500;          // interval to wait before updating "k" count (milliseconds)


void setup() {
  Serial.begin(9600);
  pinMode(LEDpin1K, OUTPUT);  // set LED pins as OUTPUT
  pinMode(LEDpin2K, OUTPUT);
  pinMode(LEDpin3K, OUTPUT);
  pinMode(LEDpin4K, OUTPUT);
  pinMode(LEDpin5K, OUTPUT);
  pinMode(LEDpin6K, OUTPUT);
  pinMode(LEDpin7K, OUTPUT);
  pinMode(LEDpin8K, OUTPUT);
  pinMode(LEDpin9K, OUTPUT);  // set LED pins as OUTPUT

  pinMode(NEWgamepin, INPUT_PULLUP);  // wire this pin to new game relay on pinball machine
  pinMode(OVERpin, INPUT_PULLUP);     // wire this pin to switch1 which triggers when score hits multiples of 100,000
}

void loop() {

  OVERState = digitalRead(OVERpin);  //check the state of OVERpin
  if (OVERState == LOW) {
    k++;
    Serial.println(" 100 000 level increase");
  }

  NEWgame = digitalRead(NEWgamepin);  //check state of NEWgamepin
  if (NEWgamepin == LOW) {
    k = 0;        //if NEWgamepin is triggered reset the "k" variable
    Serial.println("New game initiated");
    setup();//turn off all flag LEDs
    //Turn off all LEDS like in setup()
  }

  // Light the correct LED's to indicate rollover score

  if (k >= 10) k = 0;  //start lights over after reaching 10x multiples of a million

  if (k <= 0) {  //  No lights on
    digitalWrite(LEDpin1K, LOW);
    digitalWrite(LEDpin2K, LOW);
    digitalWrite(LEDpin3K, LOW);
    digitalWrite(LEDpin4K, LOW);
    digitalWrite(LEDpin5K, LOW);
    digitalWrite(LEDpin6K, LOW);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 1) {  //  100,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, LOW);
    digitalWrite(LEDpin3K, LOW);
    digitalWrite(LEDpin4K, LOW);
    digitalWrite(LEDpin5K, LOW);
    digitalWrite(LEDpin6K, LOW);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 2) {  //  200,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, LOW);
    digitalWrite(LEDpin4K, LOW);
    digitalWrite(LEDpin5K, LOW);
    digitalWrite(LEDpin6K, LOW);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 3) {  //  300,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, LOW);
    digitalWrite(LEDpin5K, LOW);
    digitalWrite(LEDpin6K, LOW);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 4) {  //  400,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, HIGH);
    digitalWrite(LEDpin5K, LOW);
    digitalWrite(LEDpin6K, LOW);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 5) {  //  500,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, HIGH);
    digitalWrite(LEDpin5K, HIGH);
    digitalWrite(LEDpin6K, LOW);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 6) {  //  600,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, HIGH);
    digitalWrite(LEDpin5K, HIGH);
    digitalWrite(LEDpin6K, HIGH);
    digitalWrite(LEDpin7K, LOW);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 7) {  //  700,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, HIGH);
    digitalWrite(LEDpin5K, HIGH);
    digitalWrite(LEDpin6K, HIGH);
    digitalWrite(LEDpin7K, HIGH);
    digitalWrite(LEDpin8K, LOW);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 8) {  //  800,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, HIGH);
    digitalWrite(LEDpin5K, HIGH);
    digitalWrite(LEDpin6K, HIGH);
    digitalWrite(LEDpin7K, HIGH);
    digitalWrite(LEDpin8K, HIGH);
    digitalWrite(LEDpin9K, LOW);
  }

  if (k == 9) {  //  900,000 light on
    digitalWrite(LEDpin1K, HIGH);
    digitalWrite(LEDpin2K, HIGH);
    digitalWrite(LEDpin3K, HIGH);
    digitalWrite(LEDpin4K, HIGH);
    digitalWrite(LEDpin5K, HIGH);
    digitalWrite(LEDpin6K, HIGH);
    digitalWrite(LEDpin7K, HIGH);
    digitalWrite(LEDpin8K, HIGH);
    digitalWrite(LEDpin9K, HIGH);
  }
  delay(1000);// simplifies debounce
}