Thanks for the links to the models, they certainly would work very well. Are different colours available in 3-d printing? Or would I have to paint them afterwards?
Well, I think it depends on the method the 3d printer uses, but at least some are capable of producing models in different colors. That said, I kind of doubt the variety of colors and details required by these models would be easy to print; so, the safest bet is, you'll probably still need to paint them afterwards. But I could very well be wrong on that.