Manuals and specifications for brands Tivoli Audio Portable Media Clock Radio"