If your client's negotiation resulted in him getting $13,500, that is how much the vehicle was sold for.  That extra $4000 needs to go somewhere - either as the FMV distributed to him or on 8949/Schedule D with a gain.

It seems like your client should have negotiated things differently.