If anyone who had a repair done sees this, can you tell me what it cost you?

I have mine already boxed up but still debating whether to send it halfway across the world for the repair. This was two years ago. 😛 Do let us know if you decide to go through with it.