KK hand

[ChipsAhoya]

Hey all,

My friend made the final table of a 40-person tourney yesterday and I'm just wondering what he should have done here...

Top 5 paid, 6 left. Hero has 10k in 4th place, 1-3rd places all barely have him covered at 14k-11k and there are 2 really short stacks...

A short stack called the $400 BB, a stack bigger than my friend makes it 1200 or so... My friend pushes KK w/ 10k, both opponents call.

I didn't fault him for going all in, but he did have about 25 BB left... shouldn't he make it something like 3-5k here instead of pushing?

Thanks,
ChipsAhoya