Not sure what would be more performant, REST or a websocket. Not doing anything would be the fastest, though!
http://redis.io/commands/HINCRBY
ga('send', 'event', 'input', 'search', 'zip', zipCode);