The diablo rojos (red devils – former US school buses, now dangerous rolling works of art in the city) are still in town. They are replacing them with modern nice buses, but we saw a lot of them still on the road as we left Panama City.