Zander buys $1,000 in U.S. Treasury bonds and spends $1,200 on new tires, which are produced domestically, for his car. How much is added to the U.S. GDP because of this?