> I'd call this a bug in mail.local.  Is there a way to fix this besides
> hacking mail.local?

So what behaviour would you prefer - that users' mail gets dropped on
the floor if their mailbox overflows?  That a bounce is generated to
the sender?  This is not a great idea.  If I were you, I'd hack their
mail user agents to always put read mail in a local mbox file rather
than trying to put quotas on /var/mail.   What are they using to read
mail, anyway?

			       _MelloN_