[cctalk] Re: IBM PS/2 Model 80 (8580-071) restoration