Making everything more efficient should make everybody happier.