Stará hra z důlního prostředí

Hledám takovou dětskou hru, měl jsem ji na disketě uloženou jako "permonik". Bylo to na styl super maria. panáček chodil po chodbách, kde bylo hodně dveří. každé dveře představovaly jeden level. Vím, že se v těch levelech pákama otevíraly dveře a sbíraly 3 barvy klíčů - modrý, červený, zelený. Byly tam jako nepřátelé mj. růžové žížaly a takoví netopýrci. panáček jezdil výtahem, takovou plošinkou, kterou si musel pákou zprovoznit. Toť veškeré moje vzpomínky. Ví někdo, jak se hra jmenuje? Moc prosím!