Re the repairs, I can get the battery swapped on the 13 mini for £49 which isn't that bad. (iSmash, not Apple).