Those are the good stuff, I've installed a bunch of those. Those boxes are pretty much indestructible, too, so you don't have to worry about a thief getting the key out and using it to gain entry.

They even make them with tamper switches that can be tied into your security system, so if (by some miracle) someone does manage to open the box or they rip it off the wall, the alarm will go off. They cost a little more than the standard model.