Sorry for the inconvenience everyone!
We are looking into why this particular file is being served like this, but in the meantime you can use the current file with a minor change. The file itself is still a mp4 file, so you can change the file extension of the file from .bin, to .mp4, and it will work as intended.
