In the 1994 movie Ace Ventura: Pet Detective, the mascot is stolen from the NFL team, the Miami Dolphins. The Miami Dolphins are an actual NFL American Football team.
There are several cameos by actual Miami Dolphins players and coaches in the movie. The movie portrays the out-of-universe Miami Dolphins organization fairly accurately (apart from a missed field goal that lost the superbowl for them).
It is widely speculated that the character of Ray Finkle is based on Scott Norwood who missed the game winning field goal in Superbowl XXV. However; Norwood played for the Buffalo Bills, not the Miami Dolphins.
The Miami Dolphins (up to the movie's release in 1994) have never been in a position in a superbowl where a field goal would have won the game for them. There have been other NFL teams up to that point with closer scoring superbowl scores and bumbled plays that lost superbowls other than the Dolphins.
Did filmmakers chose the Miami Dolphins before they started writing the script and made adjustments to adhere to the Miami Dolphins and their organization? There are several other professional sports teams which have an animal as their mascot which could have been used. Was there a specific reason for using the Miami Dolphins?