I would have thought pushing the film would have more effect than different dev dilutions. Don't dilutions affect contrast more than grain?