And thus $9k of <something they got that $9k worth of value for> is injected into the economy, either assets sold or work performed.