I recently broke my 12 Mini beyond reasonable repair during a battery replacement recently (mostly just bad luck, I've been doing my own mobile repair for a long time). I bought a 17 to replace it, and promptly returned it in favor of a used 13 Mini. It's wild to me how large the smallest mainstream phone you can buy these days has become.