Do you hate it when restaurants pool their tips?

When my husband and I go out to eat, we like to tip the waiter/waitress generousely if they give us great service. I'm annoyed that some places just pool all the tips together and hand the money out to all the servers evenly. I think this undermines good service because the waiter/waitress can be the greatest but will get the same tip as their crappy co-worker.