Rumor has it that there's a 4th digit (or at least an extra half digit) there behind the cover. So the board's already ready for the FIRST1K switch.
Also, correct me if I'm wrong, but aren't there 16 DIP switches to set the team number? That would allow team numbers up to ~64000, if the circuitry could handle it.