Don't need GetPumped() any more.