When Hot Chip DJs, Hot Chip plays Hot Chip.