That hand should have been folded preflop with such a small stack. He bet a big chunk of his stack. He pretty much had to call the all in. If you guys had a few thousand chips, he probably would have folded to an all in. I wouldn't have all inned there though.