I’ve since written a library to replace this script and add more functionality such as reading/writing both binary and ascii STL files. See the blog post here
After seeing Sukhbinder’s implementation of reading STL files with Numpy I thought it would be a nice thing to have a simple STL class to both read and write the binary files.

Nice Rick!!! Makes the code more useful and thanks for putting it on pypi https://pypi.python.org/pypi/numpy-stl/1.1.2 Wow why didn’t i think of it… Cheers!!