4 bet the mps range rarely has KK. Most tags at 5nl that I came across would 3 bet KK. I prefer 4 bet than shove since it allows the mp to do something dumb like shove over with tt-JJ.