Just to let everyone know, I've just put up a new Rotary Controller on eBay.
You can find it here (in gbp) or here (in usd).
I have two more built and ready to sell after this one. I tried to list all three at once, but it seems eBay thinks that's too confusing for noobs and have disabled it unless you're selling at a fixed price. Go figure.