A pump has failed and must be replaced. One option is to use a new brass pump at $6,000. However, the company has a used stainless steel one that could do the job and last as least as long as 3 years. Its initial cost was $13,000 and the accountants value it now at $7,000. The engineer in charge says it could be used but would need a $500 coupling. Or he could sell it used for $4,000.

What is the book value of the stainless steel pump?