Just saw this: http://www.ebay.com/itm/331820201025 In case someone is interested. I was unable to quickly figure out if it already was archived on bitsavers. /Mattis