Did National ever make a version of the NSC800 that ran faster than 4 MHz? If so, where can I get one? Cheers, Chuck