I should think they would've at least asked Trumpty's people whether it would be okay for them to file the motion. So probably none of this comes as a surprise to him. And apparently Trumpty's already fundraising off it...