Our Aluminum Oxide polish (works good at a reasonable price) best on Quartz, Agate and harder stones.   At 2 micron and finer,  this polish is likely somewhere around an 8000 grit.  This is pretty much the only polish that we use here at The Rock Shed.