Reading through and some small research, seems like this project are still kick starter. They plan to share about the project in Open Source at https://github.com/pi-top, but I can't seems to find any stl file related to the laptop itself.