to split the frames of a gif wouldn´t be a huge amount of work ^^
and i would simpley record it myself in the needed res.
maybe just the spritesheet even would work , if the recorded footage also captures the bezel effect, but that would result in huge sprites …
if its short or not isn´t the problem at all i think
just make sequence loop than its not distracting at all i guess , and for some arcade thats all whats needed ^^
and yeah that is what i thought to give the dummy screen/s a simpler crt effect , glow and reflection as the main screen
if you ever think about to work on this i will happily help testing this and make the sheets etc.
than i can help at least with something with my lack of coding skillz