My wife and I have been away and just returned on Tuesday. I had forgotten about the DSO event.
On Thursday morning, my HD Fox had dutifully retuned to both the local (lower channel numbers) and the main transmitter. So I had to manually retune to the main transmitter. I feared for the HDR Fox which has two pages of schedules - but the automatic tuning had not been carried out on that box.
When questioned, my wife, said she had seen the message the day before and had selected "Later". The box was used until about 2100, certainly past the specified 1600 retune event time.
I can only assume that selecting "Later" and then not switching off the box until after the DSO event time (and cessation of the event message - another assumption) meant the HDR did not auto-retune.
Martin