Looks like it just missed! Still hoping for 10k by end of year though. $7985.37 is the highest I saw on GDAX.