from command line: sngDStlIm toolbar:
Read TIN from ASCII or binary STL file.
Write TIN to ASCII STL file.