I was watching a video about the Topeak electric mini pump. Looks convenient if it works properly. Question is are they worth it and do they actually work correctly?