I sure would replace them all. You should get a pushrod length checker and find the optimal length. Inspect everything, including whether the springs go solid at full lift. SOMETHING caused that pushrod to bend. You should find that before reassembling.
