I awoke this morning to a surprise: the Mercedes AMG GT that races in the GT3 category is not called the Mercedes AMG GT GT3, as I halfway hoped it would be. Instead it is the Mercedes AMG GT3. Hm.
This all started with a tweet from friend of Jalopnik Manny Suazo:
I had to double check this against a couple official Daimler AG press releases just to be sure: