How long does it take to pet a dog?