@Ender:
VTEX requires the frames to be in .TGA format, but it converts the .TGAs into an animated .VTF so it's not a big deal.