Here's my recipe for ketchup--similar to the one above.
http://www.unlimitedlettuce.com/2012...e-ketchup.html
I end up using my roasted red pepper sauce that I make for my meatballs as my ketchup. I really tried to limit tomatoes in phase 1 and this sauce worked perfectly for burgers etc. it's on the same blog as linked above.