So, after a year or so of hitting my local Goodwill locations and always keeping an eye out for 15KHz capable displays, as luck would have it I found a near mint working 712n for $10 just laying on one of their racks. That prompted me to order the Manilla Gear IIGS VGA adapter.
Does anyone use this? What is your honest thought of the output to one of these displays?
I already have a very nice working IIGS display, but I figured it is not a bad idea to have a backup. And, depending on how good the picture quality is who knows...maybe the CRT will go into storage