Given what you know now? Easy push.

But I probably wouldn't have pushed here either if it was the guy's first mini-raise.