Just for completeness (and the AVSforum thread is very long), here are the codes that worked.
Down
0000 0068 0000 001D 000B 0035 000F 0030 0010 0044 0010 01EC 0030 0010 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0030 0010 0030 0010 0030 0010 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0010 0044 0010 0F80

Up
0000 0068 0000 001D 000B 0035 000F 0030 0010 0044 0010 01EC 0030 0010 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0030 0010 0030 0010 0030 0010 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0030 0010 0010 0030 0030 0010 0010 0030 0010 0030 0010 0044 0010 0F80

Stop
0000 0068 0000 001D 000B 0035 000F 0030 0010 0044 0010 01EC 0030 0010 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0030 0010 0030 0010 0030 0010 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0010 0030 0030 0010 0010 0030 0030 0010 0010 0030 0010 0030 0010 0030 0010 0030 0030 0044 0010 0F80

Graham,
If you get any kind of reply from DRH, please either post it or email it to me. We can see the form of the IR protocol, but this isn't a big enough set to be able to deduce which part of the signal is device, subdevice, function number, etc.