Did you know that coffee production in Costa Rica in the 19th century created enough revenue to build the National Theater in the capital San José ?