Thank you, MOHR1951 for your kind words. I have since gotten a more easy to remember number: just substitute the last 4 digits with 5000 ! (nine-one-six--nine-three-three--five thousand ! Just in case someone tried the other number which was disconnected in mid-1990s I think. or fatcon dot com...