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