utep miners football has how many official colors?
(COUNT (AND visual_art.color (JOIN (R sports.sports_team.colors) m.0gfjfrn)))