I’ve had the 13 mini for a couple years for the same reason, I’d like a newer one with upgraded chips/battery but it looks like I’ll just keep this one till it dies. It’s basically the same size as the 4 and aside from the antenna thing that was the best fo factor IMO