Given that ~100 million tons of oxygen are produced annually, extracting all the xenon from that air would yield about 170 tons/year. So there's a bit of room for growth.

The BepiColombo number is similar, I think, to the amount of xenon made annually in nuclear reactors (where it occurs in spent fuel as the result of fission.)