Seat of My Pants - you are spot on and very well informed.
I came across this in a very good article in New Scientist this week. GPS time is indeed "wrong" by 13 seconds. There is also a slight worry that at 1 sce past midnight soon GPS time will find an extra day on some receivers and then lose the day again.