Out of morbid curiosity (we get a lot of jumpers in Toronto and people often respond the same way), did the train go out of service or did a crew literally wash the front end down before the train proceeded on it’s way? Over here the train always gets pulled out of service, and the entire line from one station forward…