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