RPM in Lauderdale is highly recommended but my local mechanic normally sends his stuff to Pinellas Diesel. 8-92's and need to replace all tips plus maybe more. My mechanic will send them to whoever I want. Anyone have experience with Pinellas Diesel?

I would prefer to have my mechanic work with a shop he is familiar with and comfortable with. But don't want to do this if it really matters a lot and RPM is the place that should be used.

Thanks for any info.