I would think they've both gone to the courts because, like you said, there is no decentralized dispute resolution system. Governments unfortunately will always be mommy and daddy when someone has a problem they need fixed...