Game Maker games you or anyone else made money off of before?

[Vipershark]

We're using Game Maker in my Introduction to Game Development class and the thing that the teacher has been repeatedly hammering into our heads is that Game Maker is NOT something you use for a final product when you're a developer. Instead, it's used for prototyping before production even begins so you can make sure that the mechanics you want will even work.

According to him it's actually used widely across the industry, but only for prototyping.

I'm curious; has he worked in any major console game?

Yes, but he's signed NDAs from the company that he worked at and isn't allowed to tell us which specific projects he was involved with.