You do not have to specify which kind of a service dog it is, there are many kinds of service dogs. There are guide dogs, service dogs for the deaf , psd dogs, hypo glycemic service dogs. They are all under the category of service dogs, therefore he did not have the state specifically as it PTSD service dog.