Def Leppard, Royal Philharmonic Orchestra