[Context, splitting a Southbound train, half continuing nonstop to Euston, the rear half for Euston stopping at OOC.]
This report
http://gatewaycog.org/HSR_Project/lib/Design-Reports_Alternatives_Analysis_AppendixF.pdf
seems to say that stopping an HST costs 7 minutes on average, and that is assuming the train is stationary for 90 seconds.
90 seconds seems a bit optimistic to me for worst case for half a trainload of people alighting at the primary connection for Heathrow.
Nine minutes or so off a journey from the North seems like a worthwhile saving in return for some operational changes.
And no, it hasn't been done before. Heck, the line isn't even built yet, let alone running any special type of trains on it.