Hotpoint RGB790DEPBB User Manual