Hard to say if that's reasonable or not. I could see it costing me $250 or so, tops. Plumbers around here charge around $50/hr and bill in increments after the first hour. I wouldn't think that would take more than a couple of hours, maybe three.
They're just planning on cutting out a small section, right?