You are forgetting WHO the dog is providing emotional support for. A MARINE. Since Marines are all pit bulls named Mongo, it seems an excellent pairing.
If I was in the position of having to (very much in question in this case) shoot someone’s dog, one owned by a combat experienced US Marine Corps sniper with a diagnosed stress disorder would be just about last on my list.