[Coco] "tok" tokenizer?

[Willard Goosey]

I'm stumped.

Where can I find a copy of an OS-9 program called "tok"?  It's an
incredibly useful little program that tokenizes its input stream so
you can manipulate it, something like "dir ! tok 'rename $1.$2 $1.foo'
!  shell"

As far as I can tell, it's not on RTSI or maltedmedia, so I'm not sure
where I got it last time.  

I really don't want to bother doing an 18-disk (720k) hard drive
restore just to get a single binary and its docs. :-(

Willard
-- 
Willard Goosey  goosey at sdc.org
Socorro, New Mexico, USA
"I've never been to Contempt!  Isn't that somewhere in New Mexico?"
   --- Yacko