A lot depends on the service history and whether you plan on paying for the repairs or doing the wrenching yourself. There are probably a few more "surprises" lurking, and I would budget for replacing all fluids and the spark plugs/wires (unless the service records show otherwise). Other questions - any accidents; how many owners; orig clutch?