I did.
but as dual output.
I have a primary monitor on hdmi for gameplay and menu and on gert vga666 a secondary for output of dynamic marquee.
This is not by default supported by debian or mame4all-pi but I wrote a library that uses a liw level graphics api (dispmanx) that is capable to do graphics on gert vga while hdmi is still primary.
Regards
Stefan