I've never worked at a game developer that used a seperate file for the alpha, it's alway a 32-bit tga. But I wouldn't be surprised if there's a company somewhere that does. It just doesn't seem very effecient for the artist or the engine. For prerendered stuff, I use layered psd files and have the bump, spec, diffuse, and…