DVR for antenna TV recording