America the Beautiful Super Bowl

Ok, nice military chorus. But two of the singers had spiffy red jackets. Which branch uses red coats?

Marines, I think. Special uniform. See the US Marine Corps Band here: