Forgot about that one. I can see the temptation to do a roll back, but as an investor it would be a complete turnoff. Unfortunately law enforcement doesn't take crypto theft very seriously unless it involves a regulated exchange that deals in fiat.
I agree, if a coin can be rolled back who knows what that will open the door to? Defeats decentralization.
As I understand it the devs had an even bigger loss from a tip jar, not clear whether it was theft or a mishandled wallet, but they didn't even attempt it when it was their own money.