The camera is back from the repair shop.
Look like the autofocus is working again. It’s having some difficulty with the GPS lock, but I had that problem when I first purchased it; may be a matter of taking a long time to initially locate the satellites.