I was actualy at the same table, and I think I remember that All in.
If you know he is a solid player, folding is reasonable here, But to be honest I have only folded KK to an 300bb AI once, and it was a 200NL live game, and I have been playing with the same guy once a week for about a year.