F12 before/while the page loads, then click on the network tab, click size to sort in descending order, click on the video to start playing/loading it, and then the largest file should be an mp4. Click on it and open it in a new tab and then save it.