As Mark already has Brit awards, Grammy awards, an OBE, Honorary Doctor of Music from 3 universities, an Edison award, Steiger Award, Ivor Novello award, PRS music heritage award, Music Producers Guild award for best studio, and a dinosaur named in his honour, I doubt he is bothered either way with the Rock 'n Roll Hall of Fame!!