So my motor only runs 4200 rpms. Local shop says it has a twisted sleeve on cylinder 1 but everything else on the motor checks out. I got taken for a ride by the previous owner and was told it had less than 1000 hours on it. Turns out it is actually 3300 hours. Shop says option are rebuild for $7500, complete new upper end for $11500, or buy a new motor. Thoughts? Dont want to get rid of the ranger 519dvs I have now because it is nearly new condition and I love it.