I went to Bodeans diner in London the other day and had an amazing pulled pork sandwich. I've found a couple of recipes online for pulled pork but found they're all American and contain ketchup as a main ingredient for the sauce. Does anyone know if what America class as ketchup in these recipes is the same as what we class as ketchup? Just seems a bit weird that you can put anything upto a cup of ketchup into a recipe...