Jimmy Ramshaw and the Gators were eliminated by Miami in the Regional on June 2nd.