Toon was, binnen het Korps Rijkspolitie, Recherchechef in het District Eindhoven.