perhaps it might be interesting:
the people from Italparts in the Netherlands (www.italparts.com) are selling #3521 ("normale priced", as they state) - they also offer things like an original 250 outside plug tool kit...
greetings from Southamerica