avi raw will give you a rather large file and some video players won’t be able to play it.
For short animations like this, try FFMpeg, mp4 containter and H.264 codec.
(mp4 with h264 are the most common these days – avi was the most common a loooong time ago)
Later on in the course, I explain my settings and the reason it is actually better to use an image sequence rather than rendering out the animation straight to video format. But you need to get some experience first, and then the reasons become much clearer 😉
