I think you've nailed it. I'm was Essex/Kent born and raised, with East End of London heritage. It was always "tomato sauce", was very rare to hear it referred to as "ketchup".