I wonder about the condition they've been kept in, and whether there might be any faulty electronics after sitting in a box for 20 years.
Anyone has experience there?
I bought a NOS CD32 that turned out to be in excellent physical condition... but yeah.. it never worked very well. But I have read that NTSC CD32s has all sorts of issues even when new.
With a 1200 as long as the KB and case are nice, you could get the MB reworked with new caps and such.