It's the ESA, so I won't offend too many Freepers if I say that "Hidalgo" and "Sancho" sound like wussy names chosen by committee.
"Don Quijote" - pah! I think a mission to a huge mass of nickel/iron moving at Mach 10 should be called something cool like "Nostromo" or "Heart of Darkness" - they shoul d have used Conrad rather than Cervantes.
Make that Mach 30. Ouch!
Sancho was the sane one.