HI All, Updated my model 3 with v9 and started using the dashcam. I was able to see it records mp4 format into TeslaCam directory, and when you hit the camera on the screen, it download to .rec on the root directory. I tried opening the .rec with VLC and it won't play correctly. Tried couple other codec and players and non worked. Does anyone know which codec it uses when it create the .rec file? and while players will work?