Due to a strike of the national post delivery service I just got my fans today. :( Here they are, two 40mm Blacknoise fans and one 25mm Papst fan. I just tested them and even though the Papst fan fits perfectly on top of the chipcooler, I think it makes too much noise (high pitched whining sound). It does blow pretty good though. The Blacknoise fans are just awesome. Really thin (10mm) so there won't be any trouble to fit them between the DSP board and the casing. I got two versions of this fan, the one on the right is the "noisier" one but it has a bigger throughput of air. I say "noisier", but in fact they are so quiet I expect I won't be hearing both of them once they are in place. So I will go with the one on the right that pushes through the largest amount of air, after all I need it to cool the DSP chip.
More news soon, I'll make some new pictures once they are in place.