I'd suggest looking through
Freeplay Music to try to find the song from this video. They provide a lot of music for commercials and similar media, and I know at least one or two FRC game animations used music from Freeplay. All the music there is free to download for personal use, although if you must get licensing to use it for anything public.