I can understand that at times a server can be busy, but if they make no attempt whatsoever to make me feel welcomed and I get a vibe they're trying to rush me out, then I will withhold a tip. Otherwise I always tip 20%.

Would you ever notify a manager if you felt unwelcomed at a restaurant?