It's definitely fast, but I think some of the estimates are a bit overboard. Unless he's modding it beyond the stock E55 engine, I'm guessing the best time for it (obviously driver dependent) would be around 11.2 @ 122.