I think these numbers are right

stock tire: 862 revs/mile
michelin pilot sport, 215/45/17: 841 revs/mile
michelin pilot sport, 215/45/16: 874 revs/mile

the 17's aren't far off, but the 16's sound interesting!