I'm nowhere near as skilled as most of the people on this site, so take what I say with a grain of salt, but...I would have done exactly what you did in that situation. No way I wouldn't have pushed all in. Finishing in the money is fine, but if I get a golden opportunity like that, I'm taking it.