Yes and the gator just ignores them.

Alligator sauce piquante is my favorite alligator dish.

http://www.jfolse.com/stirrin/recipes/recipes2011/SIU_091711%20alligator%20sauce%20piquante.html