Case closed easy fix bent Pushrod. Done a few times in the past, just slightly
but enough to make a different tap than previous.
It's happened to me once every 8000-13000 miles when driven hard.
That's why I have a spare set of Manton Pushrods lying in the
tool box.