I just received an email from HPU Dining saying the reasoning why the ketchup was changed, but it has been officially changed back! Thanks for all the support, it really did make a difference!