Dubsquarred in Arlington did mine a few weeks ago, great price, great shop.
May I ask what they charged? Did you go with aftermarket clutch and if so, which one? Also, I plan to keep my R (16') and may eventually do stage 1 down the line. As you know, the stock clutch is trash. I have 40k on mine, don't drive it that hard with any regularity and it's already slipping. I've heard of people using the TTRS clutch in our cars, but also trying to educate myself to make the best decision.