Yeah, syncros are cheap, getting them put in is not cheap. I'd have the transmission inspected for wear and have everything worn out replaced. You don't want to go back in there in 10k miles when you could spend a little more on parts when the trans has been taken apart anyways.