I reckon it would be pretty easy with my modified Videocore(VC4/6) driver to make A1200 display its 15khz on RTG (we have no framethrower for this) so you don't have to switch monitors or add switches of any kind, i'll look into this next week(on the road for 4 days..) (my A1200 is operational unlike my A500).This wouldn't work outside of the OS tho (videocore needs to be loaded) , stay tuned for updates!