I milled down a fairly substantial heatsink in order to get it to fit under the keyboard and around the corner of the floppy drive. I then mounted a 40mm fan behind it, between the floppy power and data cables. It works pretty well, lowers the temperature of the CPU by about 20 degrees at 94MHz. But it's definitely not an off-the-shelf solution
