I like a push b/c my guess is you're about even against his range (pokerstove isn't working currently), there's a lot of dead money in the pot, and if you hit your straight on the turn you might not get paid. Good for metagame too.

If anyone has a functioning version of pokerstove, here's the range I put him on: JJ/TT/99/KQo/KQs/JTs/T9s/AhKh/AhQh/QhJh/8h7h