Tipping limo driver?

So i got a party bus for me and a bunch of friends for a nfl football game tomorrow. On the invoice it says $525 (which is the rate) and then underneath it says Extra Grat $125. This particular company requires you to tip their drivers at least 20% and if that is not reached they will had the remainder to your bill. I’m just curious if this is the tip or do I have to tip him? I just looked at the email so it’s too late for me to call them but I’m just curious as to what you think. Thank you!