First, they're not "Experienced travelers"
Second (and most important): did they get miles for all of the segments?
Third: can they earn miles on the free tickets?
In all honesty, I think it's the pax fault for not checking. If TK did make a mistake, they did everything they possibly could to correct it. Mistakes happen, but how you deal with them is what's important.