The alpha-cooler I had in mind is one of theese: http://www.micforg.co.jp/en/cat_lpde.html

If it fits, the UBC-60 would be my #1 choice. That's why I wanted to know the dimensions of the CPU-card.