Hi
I got my 3.12 MHz crystal from Mouser although either of your solutions sound like they will be close enough. The ROM clock is the SP0256 clock divided by two.
Smart move confirming the SP0256 works with the Z80 CPU first. Good luck, let me know if there is anything I can do to help.