Same here.
Since the temp was brought up slowly, there's no need to rest.
If you're concerned about the steak being a "tad bit more rare" then I suggest, (not that anyone's asking

), making sure that the coals as hot as you can get, I'm talking "warp 10" hot, before searing and make sure that you don't go over 115 at all, when you start. This has always worked for me, with the exception of ribeye roasts, or bottom round, (for pit beef), where I take it to 120, in the thickest part of the roast, before searing. The key is a blazing hot fire to sear.
YMMV