wow, I don't know what the conversion is on that to US dollars, but I know it's a lot cheaper than the $225+ it is for that 3500 over here.
I'd suggest looking into the Thermalright SLK series heatsinks, or the Thermaltake XP series heatsinks.
Zalman makes a good heatsink but is rather large.
Also, guy named mike in these forums just bought a Tower 112 I believe it is and it's givin him nice and cool temps, his was for XP but I wouldn't doubt if they have a AMD64 version as well.
That thing is an absolute monster, real heavy but real effective appearantly.