Without the details, its difficult to say for sure, but on face value both rcds need to be replaced, it's a matter of isolating, removing the existing and installing new then testing, £200 doesn't sound too far out if there is two, but still depends on the make.
However since both have failed, this may suggest a common fault, either in testing or the wiring itself in which case it may require investigation.
However since both have failed, this may suggest a common fault, either in testing or the wiring itself in which case it may require investigation.