Hi This is user and service manual for Barco Crescent 42 and 32 CTP.
http://www.fileserve.com/file/s3mWPaf