Yeah, just double the first number. Wait, what? You don't tip here? 
Tipping around the world is complicated. So why do we do it and what makes the service industry the only exception when it comes to the American minimum wage law?