B001260 (fixes #457), extractoptions.py made case insensitive

This one also requires the zip code be in his district, so I just made a generic success message