Just in case anyone has the same question. The CR515 is still available from Arcam dealers. £46. A Logitech Harmony 300 would do the job at half the price. As I paid just £135 for the Arcam - £1250 original price thought it best to go for the CR. Superb quality sound for DVD and CD playback by the way.
Just discovered from another dealer that Arcam have a later remote that's works the DV137. It's the L515 priced at £24. I have asked my dealer to cancel the order for the CR515 and go for the L515. Seems crazy that Arcam didn't point this out to the dealer I bought through.