Oh, i didn't even notice his stack size. In my experience though, calling stations usually don't call allins, they just call anything to see the flop and hope they hit so they can call some more. I still probably push though and hope he or the 3 better calls.