Four friends go out for a meal. They round the total amount including the service charge to the nearest whole pound and pay this amount to Mando's. How much do they pay?