Radio that plays Hank Jones with Dave Holland and Billy Higgins