Hello,
i just come back from a brocker in Paris where
i found he has several EV5 AS255 (300MHz) and AS500 (333MHz).
Also a couple of EV5 workstations @ 166MHz.
They are used and a bit dusty but should work.
No price was given but it should not be expensive.
If someone here is interested, contact the broker
http://stores.ebay.fr/MICRO-BOUTIQUE
(they alphas are not on the page, i had to look in the warehouse)
Unfortunately, nothing less old :-/
i'm still seeking RAM for my EV6.
yg