Here's a size reference:
CR1.jpg
The -18 can either have wire leads or pins.
I noticed the Digikey and Mouser carry devices of the required frequency, but the load capacitance (10pF series) is wrong. Needs to be on the order of 25-32pF parallel.Can you adapt a SMT xtal? If so, Digikey has some for a couple of bucks.
Unfortunately, no. The 12.800MHz oscillator is divided down by a series of 7493 counters to get a 2.5Hz gating frequency; if the gating window is longer or shorter than this by even a small amount then the counter isn't accurate. The trimmer circuit as designed won't allow a 12.900MHz rock to be pulled enough to work.12.900? Will it work?