PDF User Manual for Tcl 4k Series