Otro colega del curro, este panameño, me ha hablado de este plato. Cuando lo he buscado en Wikipedia, me he encontrado con que es el plato que tomé la semana antes de venir a Panamá en un restaurante peruano, sólo que allí lo llaman tacu tacu. Fusilando a la Wikipedia:

El Gallo Pinto tiene sus origenes en las Islas Caribeñas poco después de que fueran traídos los esclavos africanos. Rápidamente la combinación de arroz con frijoles fue esparcida a lo largo del caribe. Con la llegada de los trabajadores afroamericanos provenientes de Jamaica a la zona de Limón Costa Rica como parte de las operaciones bananeras realizadas por la United Fruit Company llegó también el plato conocido, sin embargo aún no había adquirido el nombre actual. No fue sino hasta que trabajadores del Valle Central de Costa Rica llegaran a la zona de Limón a colaborar en la construcción del ferrocarril al caribe que conocieron tan singular platillo y les gustó, quienes a su vez lo compararon con los gallos pintados (manchados) que existían en la zona central del país. La historia y origen del gallo pinto son poco conocidos. Muchos países reclaman la cuna del popular platillo, del que encontramos diversas versiones en Centroamérica. En Panamá también se prepara, aunque la versión más conocida allí es con frijol gandul (frijol de palo), igual que en Puerto Rico y República Dominicana.

Me han dicho que es difícil encontrar este plato en los restaurantes panameños, teniendo que buscar algunos específicos de cocina típica en la capital. La otra opción es irse al interior del país. Lo haré próximamente, intentaré probar tanto el sancocho como el gallopinto. Y os lo contaré, claro… de regalo, una fotico que he hecho hoy de parte del skyline de Panamá City.