Yes, it's ketchup :) If it'll do for movies, theatres and shows then it's good enough for me - and it doesn't seem inappropriate ;)