Forget the 3D printer -- you can cut these by hand with a Pak-A-Punch (e.g. http://www.youtube.com/watch?v=kjhZdqCnrZA ).