US manufacturing PMI higher, services lower -- but both still at very high-growth levels. The best part is the the "prices paid" component for both fell in May.