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