3 ms·

Thanks for the link, this sounds like it might well be the one. Mid/early 90s is around when I played it too.