Do we know if anything associated with Jeter's 3,000 hit is going to the HOF? Frequently they will get a bat used for a big hit.