Having painted a few cars,, including a couple show cars,, I have never used anything finer than 2000# when cutting to polish,, 1200 or 1500 to cut the peal,, then 2000 to remove the scratches, then polish from there,,
I HAVE however used finer grits to polish acrylic aircraft winsheilds,, that is the only place I have seen use of that fine of abrasive,,
using finer grit would definetly reduce the effort to polish after sanding,, but wow, thats some expensive paper compared to a bottle of rubbing compound,,