Have the devs got back any of the money that mintpal stole from them yet? I can't find much information about the court case.