Depends which pipe it is, there is plenty in an air con system. The pipes new certainly aren't cheap so I would have thought their quote is about right.