that's exactly what I'm doing.. it records an mp4 but I'm using the term GIF to denote a short looping audioless animation