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