Hotpoint RGB790DEPWW User Manual