Question: Where is the 2014 independent crime drama film, that stars the actor who played the role of James Crockett in Miami Vice, set?

full_context: Document 1: Cold in July (film): Cold in July is a 2014 American independent crime drama film directed by Jim Mickle, written by Mickle and Nick Damici, and starring Michael C. Hall, Sam Shepard and Don Johnson. The film takes place in 1980s Texas and is based on the novel "Cold in July" by author Joe R. Lansdale. Hall plays a man who kills a burglar, whose father (Shepard) subsequently seeks revenge. The plot is further complicated when a private investigator (Johnson) shows up.
Document 2: Joe (2013 film): Joe is a 2013 independent drama film directed and co-produced by David Gordon Green, co-produced by Lisa Muskat, Derrick Tseng and Christopher Woodrow and written by Gary Hawkins, adaptation from Larry Brown's 1991 novel of the same name. It stars Nicolas Cage and Tye Sheridan, revolving around a tormented man who hires a 15-year-old boy and protects him from his abusive father.
Document 3: Crockett's Theme: "Crockett's Theme" is an instrumental song written for the hit NBC series "Miami Vice". The surname Crockett refers to Don Johnson's character, James "Sonny" Crockett. The initial version of the theme first appeared in the episode Calderone's Return: Part 1 – The Hit List which aired on 19 October 1984. The song was composed by Jan Hammer.
Document 4: Johnny Depp: John Christopher Depp II (born June 9, 1963) is an American actor, producer, and musician. He has won the Golden Globe Award and Screen Actors Guild Award for Best Actor. He rose to prominence on the 1980s television series "21 Jump Street", becoming a teen idol.
Document 5: Miami Vice: Miami Vice is an American television crime drama series created by Anthony Yerkovich and executive produced by Michael Mann for NBC. The series starred Don Johnson as James "Sonny" Crockett and Philip Michael Thomas as Ricardo "Rico" Tubbs, two Metro-Dade Police Department detectives working undercover in Miami. The series ran for five seasons on NBC from 1984 to 1989. The USA Network began airing reruns in 1988, and broadcast an originally unaired episode during its syndication run of the series on January 25, 1990.
Document 6: Donald Johnson: Donald James "Don" Johnson (born September 9, 1968) is a former professional tennis player from the United States who reached the World No. 1 doubles ranking in 2002. Although born in Bethlehem, Pennsylvania, he was raised and learned the sport of tennis in the Pittsburgh suburb of Mt. Lebanon, Pennsylvania. Johnson attended Fairview High School in Erie, Pennsylvania, and won the PIAA State Singles Championship in 1984. During his career, he won the Wimbledon men's doubles title in 2001 (partnering Jared Palmer), and the Wimbledon mixed doubles title in 2000 (partnering Kimberly Po). He also won the doubles title at the Tennis Masters Cup in 2000 (partnering Piet Norval). He won a total of 23 top-level doubles titles.
Document 7: Seven (1995 film): Seven (sometimes stylized as SE7EN) is a 1995 American neo-noir crime thriller film directed by David Fincher and starring Brad Pitt, Morgan Freeman, Gwyneth Paltrow, John C. McGinley, R. Lee Ermey, and Kevin Spacey. The film was based on a screenplay by Andrew Kevin Walker. It tells the story of David Mills (Pitt), a young detective who is partnered with the retiring William Somerset (Freeman) and soon tasked with tracking down a serial killer (Spacey) who uses the seven deadly sins as tropes in his murders.
Document 8: Philip Michael Thomas: Philip Michael Thomas (born May 26, 1949) is an American actor. Thomas' most famous role is that of detective Ricardo Tubbs on the hit 1980s TV series "Miami Vice". His first notable roles were in "Coonskin" (1975) and opposite Irene Cara in the 1976 film "Sparkle". After his success in "Miami Vice", Thomas appeared in numerous made-for-TV movies and advertisements for telephone psychic services. He served as a spokesperson for cell phone entertainment company Nextones, and supplied the voice for the character in the video games "" and "".
Document 9: James &quot;Sonny&quot; Crockett: Detective James "Sonny" Crockett is a fictional character in the NBC television series "Miami Vice" and the 2006 film adaptation. The character is portrayed by Don Johnson in the television series, and Colin Farrell in the film. He was introduced in the "Miami Vice" pilot in 1984 and appeared in every subsequent episode except Season 5's "Borrasca" and in the film. The character has also appeared in video games and various popular culture references.
Document 10: Killing Them Softly: Killing Them Softly is a 2012 American neo-noir crime film directed by Andrew Dominik and starring Brad Pitt, based on the 1974 novel "Cogan's Trade" by George V. Higgins. On May 22, 2012, the film premiered in competition for the Palme d'Or at the 2012 Cannes Film Festival, receiving positive early reviews. The film is about three small-time crooks who rob a Mob-protected illegal gambling operation, which prompts the Mob to send in two hitmen, Jackie (Brad Pitt) and Mickey (James Gandolfini) to deal with the perpetrators.
Document 11: Cold Creek Manor: Cold Creek Manor is a 2003 American mystery psychological thriller film directed by Mike Figgis. The screenplay by Richard Jefferies focuses on a family terrorized by the former owner of the rural estate they bought in foreclosure. The film stars Dennis Quaid, Sharon Stone, Stephen Dorff, Juliette Lewis, Kristen Stewart and Christopher Plummer.
Document 12: Don Johnson: Donald Wayne Johnson (born December 15, 1949) is an American actor, producer, director, singer, and songwriter. He played the role of James "Sonny" Crockett in the 1980s television series "Miami Vice" and had the eponymous lead role in the 1990s cop series "Nash Bridges". Johnson is a Golden Globe–winning actor for his role in "Miami Vice", the American Power Boat Association's 1988 World Champion of the Offshore World Cup, and has received a star on the Hollywood Walk of Fame.
Document 13: No Country for Old Men (film): No Country for Old Men is a 2007 American neo-western neo-noir thriller film written and directed by Joel and Ethan Coen, based on Cormac McCarthy's novel of the same name. A cat-and-mouse drama starring Tommy Lee Jones, Javier Bardem, and Josh Brolin, it follows a Texas welder and Vietnam veteran in the desert landscape of 1980 West Texas. The film revisits the themes of fate, conscience, and circumstance that the Coen brothers had explored in the films "Blood Simple" (1984) and "Fargo" (1996).
Document 14: Firearms in Miami Vice: In the television series, "Miami Vice", firearms took a key role. Episodes such as "Evan" revolved around them, while the characters themselves also used several firearms during the series. Sonny Crockett (played by Don Johnson) was to have used a SIG Sauer P220, but this was replaced by the then more modern Bren Ten. The importance of the firearms in "Miami Vice" is demonstrated by Galco International, which provided the holster used by Don Johnson on the show, naming its holster the "Miami Classic".
Document 15: 7 Minutes: 7 Minutes is a 2014 American crime thriller drama film, written and directed by Jay Martin. The film stars Luke Mitchell, Jason Ritter, Leven Rambin, Zane Holtz, Kevin Gage, Brandon Hardesty, Joel Murray and Kris Kristofferson, and follows three high school friends, who are forced to commit a brazen robbery which quickly goes horribly wrong. It received its world premiere on October 26, 2014 at the Austin Film Festival, and then premiered at the Sarasota Film Festival on April 16, 2015. The film received a limited release and through video-on-demand on June 26, 2015 by Starz Distribution.
ground_truth: Texas