Looking for advice on how long/hot to smoke six pork medallions. I've marinated them overnight in a mixture of balsamic vinegar, olive oil, ginger, brown sugar, and basil. I've got Brussels sprouts and onions going on first wrapped in foil for 30 min at 400. Not sure if I should drop the temp to then smoke the pork. Any ideas?