How do you determine the right weight and size for a mini pump, considering factors such as inflation speed, pressure requirements, and storage space in a jersey pocket or under the saddle? What are the trade-offs between a smaller and lighter pump versus a slightly larger and heavier one that may inflate tires faster or to higher pressures? Are there any specific design features or technologies that can help balance weight and functionality in a mini pump? How do the different types of valves, such as Presta, Schrader, and Dunlop, impact the choice of mini pump size and weight? What are some general guidelines for choosing a mini pump that meets the needs of riders who prioritize both performance and portability?