I've done several high heat briskets and have always had great results. This Saturday, I'm cooking for a get-together and want to do both ribs and a brisket simultaneously on an 18.5" WSM. I've never done high heat ribs.....any advice on those? From reading a few other threads I would think I start them with the brisket, foil them after 1.5-2 hours, and then depending on how they look remove them from foil and cook for a short while to firm up the bark. Can anyone give a good estimate of cooking time for high heat ribs vs. the ~5 hours for high heat brisket? Thanks in advance.