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