How Much to Put in a Whip-Round at Work