I got the heatsinks and the case today! The whole package came in a small bubble wrap envelope.

Installing the heatsinks was easy since they come with an adhesive 3M sticker on their bottom. The small heatsink is for the voltage regulator and the other two (same size) are for the CPU and LAN chip. To help you identify which is which, the CPU is the big chip in the middle of the board. The LAN chip is a bit smaller, close to the CPU. The voltage regulator is the smallest, far apart from the other two, close to the edge of the board. If your fingers are long and/or fat, you’ll probably need tweezers for the LAN chip heatsink.

The case comes as a kit of plywood pieces that you assemble. All parts fit snugly and there is no need for glue or any screws. It took me about 5 minutes to put everything together, taking extra care not to break anything (it’s strong enough, but it’s still plywood).

With the heatsinks in place and the Raspberry Pi into its new home, it was time to overclock it! I issued sudo raspi-config, selected “overclock” and was presented with the following options:

None   700MHz ARM, 250MHz core, 400MHz SDRAM, 0 overvolt
Modest 800MHz ARM, 250MHz core, 400MHz SDRAM, 0 overvolt
Medium 900MHz ARM, 250MHz core, 450MHz SDRAM, 2 overvolt
High   950MHz ARM, 250MHz core, 450MHz SDRAM, 6 overvolt
Turbo  1000MHz ARM, 500MHz core, 600MHz SDRAM, 6 overvolt

To be on the safe side, I picked Medium to begin with. If all goes well, I might raise it to High or Turbo.

After a reboot, it was time to check the current CPU frequency (also available from cat /proc/cpuinfo):

$ sudo cat /sys/devices/system/cpu/*/cpufreq/cpuinfo_cur_freq
700000

And its upper limit:

$ sudo cat /sys/devices/system/cpu/*/cpufreq/cpuinfo_max_freq
900000

Success!