I water cooled an 8 Raspberry Pi cluster