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