Not yet, we were waiting for you :)
(me I went down just the Linux path - laptop, Raspberry Pi and Mindstorms EV3)
If you haven't started yed, Adafruit has a SPI/UART to BT BLE gateway with some C++ examples:
http://www.adafruit.com/product/1697
I just ordered my SBrick today and I'm excited to drop it into a PF train very soon. I'm curious if anyone has attempted to build an arduino controller for anything yet. It seems Arduino+BTLE module+Sbrick should be easy enough. I read the quick primer on the BTLE commands. I don't have arduino experience apart from reading a few guides, but this seems like a good excuse to get one and tinker. Just looking to see if anyone has been down this road yet.