“Bye, Robo-Horse!" Alex shouted. "Good luck!" "Wait, you called your horse 'Robo-Horse'?" said Carl. "But it wasn't a robot." "I named him after Robo-Steve," said Alex sadly. Dave put an arm around Alex. "That was very nice, Alex," Dave told her. "I'm sure Robo-Steve would have liked that." "All right, that's enough of that," said Spidroth, giving Alex a suspicious look, "let's get this over with.”