Is there a way to switch terminal IDs without reconfiguring the entire Micros system? It started out as two terminals, one was eventually taken out of service (worked fine, just wasn't used). Now the one that has been in use has problems, can't get it to boot at all into WinCE, it is just...