Thanks, Tony, that's very interesting. In those links, I note that the rear kit is cheaper than the front. Whereas he's quoted me ~ $50 more for the rears. When I suggested that some of the rotors might need machining, he said, "We'll probably get IBS", so I assume he meant they wouldn't bother with machining, and instead just get new rotors. At the prices quoted at those links, it probably would be cheaper just to get new ones.. I think I need to go have another chat with them and sort it out. Also I'll ask about the fluid flushing.
Thanks a lot for the tips. Tony. Much appreciated. ☺️