Did you find it helpful to have a manual pump in addition to an electric pump, for some situations? Like, what situations?