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