Ehm, si chiama “Butch” Wilmore, non “Batch”
Ooops Grazie Buzz. E grazie anche a Filippo per aver corretto