Now, that the days are very short and cloudy in my part of the world, I find increasingly necessary to push film, which is something I usually don't. I need some advice about what would offer the best results when pushing by one or two stops tri-x and hp5+. What I want is medium grain (in 35mm) and some compensating effect that would give me nice shadow detail. I use mainly rodinal and xtol, which I like a lot and have significant experience with. Recently, I started experimenting with d-76, but so far I can't say I am satisfied with the results. I like the tonalities I get when I develop in d-76 films shot at box speed, especially with HP5, but the grain looks somehow mushy. I can also source locally microphen (which I used and I liked the results, but is an expensive option) and diafine, which, as far as I can see in the scans posted on flickr ( I know, you can't really judge the negatives from scans), I tend to like. Almost everything else I have to order online, so I'd stick with these options, unless there are strong reasons to do otherwise. What's your advice?