Yes, that is a gator!