All of the methods you described work fine. Pick the one that you think will suit you best.

Personally, I find the easiest way to go is a clevis at the control horn end, and an EZ connector or the "FasLinks" (that Carrellh pictured above) for the servo end.

As far as pushrods go, I have used all of the ones mentioned (Also DuBro Laser Rods) and they all work well