If anyone struggles (like me) finding a PC video player that will actually loop this seamlessly, I found out 'MPV' is one free open source player that does. It's misleadingly bare bones but you can then drag-drop the video file into the player, and press SHIFT+L to toggle 'infinite loop' mode.
Glad you found one that worked for you!
if you're on Windows and are willing to use a Microsoft player, the built in "Movies & TV" player is surprisingly well-suited for this.
You can use the ... menu to set the video to play on repeat, and also set it to crop the video to fill your entire screen, in case your screen is in an aspect ratio I didn't export for!
