DOHC swap, unless you really like that motor. Being as you have overheated it, the head might be warped. I would say get the head checked, resurfaced and new head bolts.

You're looking at about 150 bucks for everything considering you do the labor yourself.