Just a quick FYI - Dallas Texas schools (DISD) used a B5500 (or B5000, not sure which) up thru the late 1970s. Used for administrative and educational computing in the district. Sorry I have no direct experience or knowledge. A quick Google didn't turn up anything substantial.