"A nearby Tesco lets Ian visit"He should have just turned around and gone there.
I would argue that there is no official training for an 'assistance' cat unlike that with dogs so the cat cannot be classed as an "auxiliary aid"
As an aside:
An autistic man with autism if he didn't have autism then he wouldn't be an autistic man.