Instructions for changing the battery of Xiaomi Mijia portable digital mini pump in 15 minutes