I bought a working ICOT Model 57 Terminal at a thrift store tonight. It was used with the American Airlines SABRE system. Does anyone have a keyboard for it, or know anything about it? I'm assuming its interface is RS-232. Am I right? Thanks, Owen