Just to report folks... I've written up all the info about the problem and posted it to Michael Borcherds. >From his reply, I gather he's a bit to busy to bother with it at the moment. Dave --