The job is finished; the shop charged $257 + change, but the brakes now work like they should. Bob receives Best Answer for my initial question. Valiant67 and amclaussen had good answers for the subsequent problem. Pt006 and 1999 White C5 Coupe had good recommendations for the proper grease. Thanks to all for the information.