My detailer just did a blue car with STEK DynoPrism - SO SICK. It has crazy metallics in the top coat and makes dark colors color shot.That’s what others have used and I will be using.
the blue is beautiful especially in the sunlight. I'd carefully inspect the paint before committing to paint correction. In my limited experience the body shops want to charge $1k for the service, which should be able to be done self-service with a clay bar at worst or not at all at best. Anything more extreme than clay bar correction should be a Tesla punch list fix.