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