I've found another site advertising manuals:

http://www.machinemanuals.co.uk

£11.95 for the 160 TCL Operating Manual.

Will have to wait and see whether it's an original, or a scanned copy.

Adrian.