Well, I had an EX1R sent to me and I found a crack in the handle that you hold it. Anyone ever have a repair like this done and know an estimated cost?

The guy I bought it from is being good about it and said he will pay for the repair (he didn't know it had a crack). I want to know if anyone else had a similair repair and how much I can estimate it to be.