Yeah, from reading up more it seems that the ROMs have been dumped and the source code compiled in MAME but unfortunately they will not be released to the public
Also, there's this interesting account of how one personal managed to get a working machine:
The story of Marble Madness II: Marble Man