Oh, I was using Time Machine in the UK. Just plug a USB hard drive in the back of the TV and enable it (the TM app). Mostly, it works really well.
As a software engineer myself, it amused me that it got caught out. The DST change meant that the recording stop time didn't exist so it didn't stop. It *could* have been written to stop when T >= that.