I've gopt Mike's e-mail address. I suppose I could alert him...trouble is, I've not seen him posting recently, and wouldn't wish to bother him if he's caught up with stuff.