When I had my civic priced out for a GSR with axles, full manual tranny, wiring, ecu, the complete engine with only 30K on it in great condition, and all the little stuff it came to about $4-4.5K so that does sound right. Especially if they back their work.