I was actually going to say just this. Surely you can't book your loss before June 30? While I think we all accept this done and dusted what's the harm in just waiting for it to fall over and then book the loss and move on.
While it's probably .001% of a chance they get any dough, imagine how you'd feel if they did.