I’m assuming the Pope-mobile was getting its yearly service at the time.