This is hillarious. I actually had a similar exchange with this seller. The lowest he came down to for me was $16K. When I told him he'd be doing well if he got $5K for the card, I got no response.
Card is beautiful...without question. But he should jump all over $9K.
I believe this is the card (but a jersey swatch instead of bat).
http://2013topps.com/wp-content/uplo...eAutoRelic.jpg