Pat:
I know what it is like to miss a beloved pet (This froggie is a cat person too!)
I am not an expert, and I hope one of the DISabilities Mods chimes in......
but, it is my understanding that all you need is a Doctor's note to have a pet 'declared' a service animal.
In your case, Spicey calmed anxiety and lowered your BP, so many Docs may have signed off.
Of course, like any good thing, there are always abusers. Handicapped Parking Permits, Welfare, 'Earned' Income Credits, etc. You have chosen the high road, sadly others will not.
Now, (knowing me) I violated the no pets rule 1.5 times at OKW (in the past).
Once we found a frog in our room (at check-in), and we allowed him to stay with us (he got the Jacuzzi) until check-out. I consider that the 0.5 violation. He wasn't our pet to start with, and he was in the room before us.
Our last visit, right before our Horsedrawn Carriage ride around FW, a cute Easten Toad (since named Disney), hopped out in front of us. We brought her into the room (after the horsey ride), for our last night at OKW (Another Jacuzzi guest), and took her home with us. BTW she's doing well with her big sister Anna. (My DD's

first frog catch when she was 4).
Broke the rules, absolutely. However, my moral compass doesn't seem to be working, as I'm still sleeping well at night. Also, no frog, err 'pixie dust' was left behind, on the walls or elsewhere. No lage night croaking disturbed other guests (as there were no episodesof croaking), and the local insect population was slightly diminished that last night (she is a GOOD eater).
Maybe I'll add a photo later.
-Tony