I'm making beer brats tonight and I'm currently marinading the brats in beer and sliced some onions and put them in the container as well. I would like to use the onions as a topping. Would it be worth cooking the onions down a bit to kill the raw pork bacteria on them, or should I just use different onions?