I had an original Radioguy DD with Freeview,now replaced with Xtrons DD with Freeview.Both units had a remote for changing channel/tuning etc.And as you say 4 coloured buttons.If you find the correct remote expect the batteries to have discharged into it.That happened to me,luckily I was able to recover it.Now I always remove the batteries when not in use.
See Here