Robbie Rotten plays some tunes [7]