Is $5500 a reasonable price for a rebuild which includes replacing various and sundry parts, including a rotor housing, new 3mm seals, and some other stuff? I know I've seen much better prices for this, but everyone says these guys do good work and I'm very interested in having a long-lasting reliable engine, so...