If you guys are really into the behind the scenes stuff, you should check out the customplay video player. This is how I found out about the mini set:
It's still in beta, so it only works with Windows 7 and with regular DVDs, but it can tell you about how they did stuff in the movie as your watching it or in that preview thing in the screen cap I showed you. It looks like they have a lot of Nolan's other films too. I remember hearing about the mini-set thing awhile ago, but I didn't realize they threw in a little CG in there as well.