Good idea but being impatient I managed to find a manual for the Denso built version of the Bosch VE pump online which gave me a sensible value for the torque.
Having got the pump off the vehicle I managed to set the timing with a DTI and the adapter you can't fit with the pump on the engine. It might be wishful thinking after all the work but the engine seems to be slightly quieter and with noticeably better drive ability after setting the pump timing more accurately.