David,
I think the guy in Germany is set on his original price. I tried to buy a set for a discount and he would not go for it. I since got both chips and I think I paid about $80 for the $25 chip last year.