Well, I just watched, because I couldn't afford to participate, as an, 'as new, K5 PR200', from Indiana went for $415 on eBay, which is about £295, to which you'd have to add ~£63 in import charges and postage, so about $504 / £358 to my door here in the UK.
For a processor best suited to Windows 95, that's just mad, has to be a collector, and it will likely gather dust in a vacuumed sealed bag, if I owned it, then it would have actually been used.
So I just bought a K5 PR166 from Italy, which including Postage has cost me just $28.20, or £20.02 in real money.
Much more sensible.
8086-8, 286-16, 386DX-40, 486DX4-100, K5 PR166, K6-2 550, K6-3 450, 3x XP 3200+, 64 3700+,
2x 64 X2 4400+, Phenom II X2 220, Phenom II X6 1100T, Athlon X4 845, FX-8370.
Laptops 1110, 600E, 2200, C640, 1520, D830, 3558. Sinclairs + Playstations.