As it turned out, the man's dog did have a bite record. It bit a 7 year old girl last year, and it's been destroyed.
Here's the thing - we've seen the other dog it was with, and the poor thing is suffering! It's bleeding, there's blood in the grass, but it's skittish and won't come near us...