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