Don’t know about diva, but we NEVER put ketchup on a burger, UNLESS you consider a RIPE (preferably from the garden in the summer, OR from the supermarket’s "hothouse grown" selection in the winter) "ketchup".
p.s. Up here in our town, "hothouse grown" tomatoes are up to $3.99 per pound. That’s highway robbery in my opinion. [:I]