Hi
Should be a simple swap, mine was. The arm on the pump simply pushes against a lobe on the idler shaft driven by the timing belt.
From memory there is more than one version of the pump where the outlet/inlet pipes are at slightly different angles, worth checking you are getting one which suits your layout. Mark has them in stock at a reasonable price.
Peter