I used the “Easy Youtube Video Downloader Express” Firefox Add-on and downloading that video worked fine. Got my 45MB 720p MP4 file, which is the format that I chose.
Which download mechanism is best depends on what your goals are - and what your exact environment is and what your exact constraints are.