Yep.
I actually took the sprocket off to see exactly what the location looked like because, if you put a 9mm drill (as opposed to a 9.5mm) in the sprocket and rotate the pump, there's a few places where the drill will slide further in towards the FIP and I felt these places could be mistaken for the true timing position.
Once I got the pump pulley off, it was easy to see the right timing hole and that a 9.5mm or 3/8" drill would fit quite nicely, without a lot of slop.
About 10 o'clock is just right.
Here's a picture, sorry if it's a bit small but you can just see the goldy-coloured drill sticking out of the FIP pulley: