You don't realize that the MLB draft means little, especially being picked 9th. It's all based on potential.
Here are the #9 picks of the prior 10 drafts:
2008- Aaron Crow, P, Washington- didn't sign, 12th pick in 2009 draft by KC, 20-11 MLB record, now playing in Mexico
2009- Jacob Turner, P, Detroit- . 14-31 record in MLB, now playing in Korea
2010- Karsten Whitson, P, SD- didn't sign out of HS, 11th rnd pick in 2014 draft by Boston, only made it to A ball
2011- Javier Baez, INF, Cubs, All Star in 2018!
2012- Andrew Heaney, P, Miami- 16-20 MLB record, Full time SP for Angels in 2018
2013- Austin Meadows, OF, Pitts- PART-time OF for Tampa in 2018, 5 HR, 16 RBI in MLB
2014- Jeff Hoffman, P, Toronto- . 6-9 MLB record, spent most of 2018 in AAA
2015- Ian Happ, OF, CUBS- solid utility player
2016- Matt Manning, P, Detroit- only A ball to date
2017-