No, these are Acorn Archimedes games - we didn't get many mainstream titles! Marble Madness was also one of my favourite games, although I can't remember which platform I played it on - probably the Spectrum.

Rob