Samsung DV45K6200E — specs, warranty, error codes, repair costs