Redundancy is the qualitative property which makes Hilbert space frames so useful in practice. However, developing a meaningful quantitative notion of redundancy for infinite frames has proven elusive. Though quantitative candidates for redundancy exist, the main open problem is whether a frame with redundancy greater than one contains a subframe with redundancy arbitrarily close to one. We will answer this question in the affirmative for 1 -localized frames. We then specialize our results to Gabor multi-frames with generators in M 1 (R d ), and Gabor molecules with envelopes in W (C, l 1 ). As a main tool in this work, we we answer a longstanding question in finite dimensional frame theory by showing there is a universal function g(x, y) so that for every > 0, every Parseval frame {f i } M i=1 for an N -dimensional Hilbert space H N has a subset of fewer than (1 + )N elements which is a frame for H N with lower frame bound g( , M N ). The result of this work is the first meaningful quantitative notion of redundancy for a large class of infinite frames.