He probably also replaced all gaskets, seals, possibly even belts. Flush and replace all fluids. Just had this done to an even simpler bike for $1300.