Well, now that he paid for the $80/month GLM coding plan... he should give GLM-5.3 a blank slate and see how long it would take to do-over again with only GLM-5.3 running.

It wouldn't cost him anything, at least.