'Delete', not just 'retire' users?

Hi,

We had a mishap where a large number of users (~1500) were accidentally
added to our Roundup user list (don't ask - our tracker email address
got on a mailing list with tons of people on the 'to' line, so Roundup
added them all). Since then, Roundup has been running very slowly (its
on an old machine and we aren't using the most efficient db).

We went through and retired the unwanted users, but roundup is still
slow. Is there is a way to 'delete' users rather than just retire them?
I realize you would not usually do this, as it might break links in the
hyperdb.

Thanks in advance,

++++++++++++++++++++++++
Gordon Simpson
Research Officer
WebLabs Project, MST
Institute of Education
11 Woburn Square, London
Ph: 020 7612 6684
www.weblabs.eu.com
++++++++++++++++++++++++




-------------------------------------------------------
This SF.net email is sponsored by: eBay
Get office equipment for less on eBay!
http://adfarm.mediaplex.com/ad/ck/711-11697-6916-5