I want to know the answer to the following question:
In what year did the establishment of Coconut Grove occur?
All the background I'm provided with is that "Coconut Grove was established in 1825 and is the location of Miami's City Hall in Dinner Key, the Coconut Grove Playhouse, CocoWalk, many nightclubs, bars, restaurants and bohemian shops, and as such, is very popular with local college students.". Is that enough to answer the question?
Answer: yes