It would be interesting to have them pop tested at say 10,000miles. You may find that they "bed in" and you end up with the correct pressure.
The tech probably has the experience to be able to predict this. Would have been interesting to know the pop pressures on the old ones prior to the re-tip. Do pop pressures reduce with age/ mileage?

__________________
Grumpy Old Diesel Owners Club group

I no longer question authority, I annoy authority. More effect, less effort....

1967 230-6 auto parts car. rust bucket.
1980 300D now parts car 800k miles
1984 300D 500k miles
1987 250td 160k miles English import
2001 jeep turbo diesel 130k miles
1998 jeep tdi ~ followed me home. Needs a turbo.
1968 Ford F750 truck. 6-354 diesel conversion.
Other toys ~J.D.,Cat & GM ~ mainly earth moving