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