Flipper (mascot)

Following the 1968 season, ``Flipper'' was no longer used as the team mascot. Owner Joe Robbie decided to cut ties with the mascot because both the City of Miami and the Seaquarium decided they would not continue to pay for tank repairs and transportation costs

Question: do the miami dolphins still have a dolphin
Answer: no