Good luck, the good news is that it shouldn't be that expensive. At worst, they will have to replace the master cylinder. I think that is only like $200 bucks for the part and not too much labor. Let us know how it goes.