Technically it is up to their individual Bishop to do the ex-communication, and sadly it doesn’t have to be recognized by any other bishops. As far as I know all the Catholics voted correctly on this one, but Roberts ducked the fog on yesterday’s decision.
Sotomayor, Kennedy and Roberts are ours, unfortunately. Don't know if they're practicing or not.
Alito, Thomas and Scalia follow the Catholic natural law intellectual tradition. The others, not so much.