The belt size is given as 9.5x740mm, but I'm not sure if this is
straight to the PS pump, or over the WP as well...
On my '85 the belt is on the outer crank pulley, outer of two on the
water pump and the PS pump. The advantage is a second belt driving
the water pump plus countering the direction of pull from only one
belt.
Loren