Please excuse my techical ignorance, but would I connect the H.O.T. directly to the 555/4017 or would I have to use the transistor you mentioned?
You would need a transistor, also the output from HOT's is usually 25KV, perhaps 28KV, never as high as 50KV.