even though the orange coolant is garbage it wont change the temp reading issue you originally asked about.
I think you may be right on the money about a different designed pump, perhaps less flow(likely). or they installed a hotter T-stat(unlikely).
and BTW shops have a buttload of parts layin around, believe it or not even some parts probably from your model. Just sayin i have NO doubt that the parts were changed just your evidence of proof has flaws lol
Green = Gold!!