In the banking district, one of the many brightly painted buses here that they call Diablo Rojos (Red Devils)