yep... I'd make a group for each printer, add the users to the correct group, setdefault printer by the group.