I think OP’s numbers are reasonable. Regulator servicing has gotten expensive. Here’s a quick example from a well respected company: Service for Regulators
In short, $245 total, parts and labor, for one first stage and two second stages.
DRIS might be slightly cheaper, depending on parts...