They ran iRMX on an 8080 variant and had graphics card that handled the A/V aspects. I suspected the displays could have actually been PAL because it had slightly higher resolution, but I haven’t been able to confirm that yet. I have one of those “Smithsonian” pieces on my desk waiting for me to have to some free time to try to repair the CRTs when I someday have more free time than I do now (any good resources for that??).