In a message dated 5/30/00 3:49:53 PM EST, dinoland@mailcity.com writes: << I don't recall seeing any mention of Pete Von Sholly, even though I believe he worked on the movie, too. >> He's credited.