well simply put i think holding KK at 5 nl the monies are always going in, nit or no nit. I like the way u were reasoning about the hand combinatorics but i think this might be a classic case of outleveling yourself. presonally i like 4 betting big , let's suppose he calls and u get to see a flop, i think you would have the proper stacksize vs potsize ratio to get it in on almost any flop. pre if he overshoves i'd snap it all day every day. But maybe that's just me being a card dependant fool.

gl