Hi @guy_c,
Personally I would take it back to the repairer and show them the problem. Professional repairers should test their work and also offer some sort of guarantee on their workmanship.
Not sure as I don't have the phone, but looking at the GPS troubleshooting flowchart on p.90 of 112 in the service manual it seems like the GPS antenna may be in the back cover.
The 2nd step in the flowchart is to check the ANT3 and ANT4 connections and if they're both OK is to replace the back cover.
Go to p.63 to find the location of the antenna connections on the rear of the board (top right)
It may be that the cover is not securely touching them both.
if it appears to be OK you may have to follow the rest of the flowchart to find out what's wrong.
crwdns2934105:0crwdne2934105:0
crwdns2934113:0crwdne2934113:0
crwdns2915270:0crwdne2915270:0
crwdns2889612:0crwdne2889612:0
2