its way simplier than that, just take a 12mm yota bolt that is 1/2" longer than the stock slave rod and round the ends off with a grinder.
That sounds easy enough. I have a couple old slave cylinders lying around now that I think of it - I might see if any of the pushrods in them are any longer than the one in my truck.