Progress Bar Animated Theming

In the Progress Bar demo, changing the theme for the animated progress
bar does not actually change the animation color, which is orange (the
UI Lightness theme). When I download using the theme roller a
different theme the animation file provided: pbar-ani.gif, is orange.
Is there no animated GIFs for the progress bar matching the other
themes?