As the title says. We've had a fabulous time in our air tent, but the manual pump is time consuming! There are so many electric pumps out there, so looking for tried and tested recommendations please.