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