- Replace the capacitors on the CRT Driver Board

- Put in a GBS-8100 VGA to CGA (RGBI) converter

- Build a new sync separator to get the vertical sync from the GBS-8100

- Rebuild the keyboard as a USB keyboard and use keycaps that closely
  match the originals. (this will cost the most $$$ and so will probably
  be done last

- Put in a Raspberry Pi

- Get everything working on a single power supply and board. This will
  require voltage regulators and some standoffs, but I believe it would
  be well-worth it in the end