The federal minimum wage is only $7.25. By paying $10, they are paying 38% more than the minimum. Even at 9 they are 24% above the minimum. I expect that they would prefer a minimum wage exactly equal to what they pay as a minimum, because that would disadvantage less efficient competitors.