I found a solution - view BBC Red Button channel in the TVcatchup site using Firefox with its add on HLS Dectector. This will generate a command line for ffmpeg to capture the webstream and save to file. It's not HD, but better than nothing.
There may be a secret Red Button HD stream!