Only seen a couple brands of ketchup down here.
There's a Heinz one, plus the one at Hungry Jacks (LOL, at their story), and McDonalds...I think botht the latter use Heinz.
Down here, we have good honest De'd 'Horse, rather than ketchup...ketsup marni is starting to make inroads.