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