Tipping culture in the US is very weird. I would rather have the prices be 15% higher, and not tip. Otherwise, where does it stop? Do you tip bus drivers? Nurses and doctors? What about teachers? Why not tip at the grocery store? Perhaps you should leave 15% of the flight ticket as a tip to flight attendants?
People should get paid decently, and not rely on tips to make a living.