Anyone use a manual pump you can recommend? If you use it in addition to your electric pump, when do you opt for the manual?