Yep, that's the right site.
I have this $3,000 conversion program that will read in an ascii file (in
the right format) and output a valid 3DS file. It also does something
called "rendering" <grin>. In other words, I sat in front of 3DS and
sucked one in, spit it out, sucked one in, …. Takes a while, but I was
behind in reading my magazines anyhow… LAM