I'm also currently trying to chose between the 25 and the mini. The biggest gripe that I've heard about the mini is that the keys are not only small but feel pretty cheap. Thoughts?