I remember the stupid marketing term gamification from a few years back. It was the "in" thing and my boss wanted games everywhere that promoted the product. Luckily that has gone away as far as I know.
But this is a great case of a good use of gamification.