After working very hard with my source (who is to remain anonymous), here are more Mario 64 findings. These were taken by the development team and shared around the office. The latter two were apparently taken to report a bug where the incorrect models were loaded.