Hi George,
I spent many years as a Computer technician on SINGER, NCR and DEC equipment (PDP 10's and PDP 11's etc). "If all else fails reboot" was used as a last resort, as you may not be able to reproduce the problem for hours, days or weeks. However in this case, YES I did try rebooting and...