Dear Marco and Daniel,
As you know RIGOL has released patch for this shutdown problem month ago, and so far as we know the crash never happened again. Please don't hesitate to contact us if you have any questions, thank you!