yeah, 3.1 would be wasted effort and money.

i always bought every other pulley size (3.4, 3.2, 3.0). you might want to think about getting a 2.8 pulley as well.