If he were deeper, I think you can make a stronger argument for just calling. Personally, I don't mind just calling here, but that's just me. Given his stack size and the donkishness of 25NL, you will certainly get called by a naked 7 here, which makes pushing a very acceptable alternative. I could go either way here. Flip a coin. If villain was a bit deeper, I think I would lean to just calling.