[tautomer]

I'd make it like 580 if I were raising but would probably just call and shove over his turn lead instead. Marginal hands are too easy for him to get away from if he's only got 300 or so chips invested in the pot and has to call 1200 more when you shove. Then again there are a lot of morons that can't fold to flop shoves with top pair so who knows.