What I'm looking for is a non-asymptotic bound on the probability that the smallest gap between eigenvalues of a GUE matrix does not exceed a certain value.
I'm aware of the bounds in http://imrn.oxfordjournals.org/content/2010/3/436.full.pdf and https://people.math.osu.edu/nguyen.1261/cikk/gap.pdf , but was wondering if there is a short/elementary way to derive such bounds in the special case of a GUE.