a 40x40x6 mm fan made by ADDA was suggested. I bought it, installed it, and I'm happy with it.

Do you have a US source for that part? The FAQ lists Farnell part numbers only.

I have no trouble finding 40x40x10 fans (they're in every computer store), it's the 40x40x6 fans that I can't locate easily.