Update. Mechanic replaced pads and rotors, did a test drive, and brakes were still spongy. He then bled the brake lines, removing air, and brakes now feel normal. End of story.