The mini has still around 2-3 years of life left; we may yet get lucky.