I heard, but not substantiated, that the man was with a carer and the carer had been distracted, and in that time a severely autistic man had thought he was petting a big cat. That was quite distressing and horrendous to think of but seems that was not the case.