No need to find TDC as the pump isn't timed. It just takes a drive from the timing chain. You can undo the nut by putting it into gear. I don't bother though, I just crack the nut with a sharp tap on a breaker bar.
You need the pulley retaining tool to do the job.