As far as I'm concerned, either use the troops to kick Kim's ass or bring em home. We've been there long enough.
The first option is too costly without nukes, so I'll go along with option two. The ROK military is more the capable of defeating the North in a conventional war. Frankly, I also see no problem with letting the South develop nukes and chem/bio weapons for defensive purposes.