I need to paint the walls of what my wife calls my dungeon. Naturally, I want to paint Tech's colors. Does anyone know what the actual names of the Red, White, and Blue of the football uniforms?

Thanks