100%. And I feel somewhat vindicated from one of the dozens of short start threats as I was making the case that they aren't just watching the pitcher, they are watching spin rates and all sorts of actual data that could indicate impending implosions. For the purpose of, you know, preventing implosions. This is now confirmed.
I don't know what else you would want from a manager here. The starter suddenly lost 3-4 ticks on the ol fastball, he's done in all versions of baseball since 1842. Then you bring your best non-closer relief pitcher for the heart of the order.
It didn't work out this time but if they do it differently next time I'll need an explanation.
More serious concern is why the 3-4 ticks left. Have we got the data somewhere on what a tired arm from the game looks like? Do they all do this when they gas out? Serious question, I don't know.