Thanks so much for Etcher, btw - it’s the only GUI software for flashing Pi images to SD that I’ve had good luck with on Mac.