I had to remember why I sent you that link ...

We use the LARGER (ie slower) single pulley ... I think
I just found a dual pulley since you wanted to belt and
suspenders yourself by using two identical belts at the same time

I didn't know then, nor does Atkins list, the diameter of their double pulley

sorry!