If Rigol wanted to be as cheap as possible then, as a hotfix, they could probably send all of the current users one of those 20W 8R power resistors that they use for testing audio systems. Just stick that sucker inline between the +12V output and the LM317's input and it would probably dissipate enough heat to solve the problem.
I was thinking about the fix and the more I think about it, the more of a real shit-show this is for Rigol. I don't think there is any way a company like Rigol would ever offer up a fix where the user is soldering anything. Actually, if Dave said that heat sink is PCB-mounted with tabs, I don't even see how they could offer up a replacement heat sink because that would require soldering as well. Not to mention they would have to agree to waive the "Warranty void" labels being broken in future warranty claims, and on top of that what if someone breaks their unit while attempting the fix?
Really, all these units will need to go back to Rigol. I have no idea how many they sell or have sold of the 832 series, but a recall is going to be unheard of for a test equipment manufacturer, I'd think. I think Rigol is going to be extremely hesitant to do that, especially in light of the fact that we don't know any have actually failed. On the other hand, we know it's an ST LM317 with a max junction temp of 125C and we know it's running above that, so Rigol can't really say the design is fine either.
I really hope they don't do what Dave suggested might happen, and distribute a bullshit firmware that runs the fan balls-out to compensate.
They really need to do a recall on this. Sucks to have to do it, but what can ya do... actually, a recall and a coupon for a healthy discount on another piece of Rigol gear bought factory direct might work out well... they could make up the cost of the recall with that. I'd love to get a DG4062 for $200 off, let's say