5 star quality on these downloadable manuals. Easy to read and all the information is there. A must when doing a custom install or needing to service your precious old school electronics.
very helpful, the information in these manuels are very detailed
Text excerpt from page 41 (click to view)
Operating Instructions
When the water is completely drained: 6. Push the plug securely into the emergency emptying hose and turn it clockwise to secure it. 7. Replace the emergency emptying hose in its holder. 8. Put on the flap and close.