Did the Miami Dolphins ever have a live mascot?

Related questions

1. Has Dan Marino won a Superbowl?
2. What number is XXVI?
3. What number is XXL?
4. Has Tom Brady ever lost a Super Bowl?
5. What is the Roman number of 99?
6. What number is VX?
7. What does XXL mean in Roman numerals?
8. Who Has Tom Brady lost to in Super Bowl?
9. Is 17 a common number?
10. What is XXVI?

Tags

1. #touchdown
2. #scored
3. #field
4. #flipper
5. #miami
6. #mascot
7. #trained
8. #orange
9. #dolphins
10. #situated