Selling via eBay is fine - very good idea. As you say, it'll hopefully pick up buyers who might otherwise not be tempted to invest in RISC OS. I just think it's strange to sell it for such a low price there, while continuing to advertise it at a much higher price elsewhere.
Perhaps there's a very good reason, but it's not immediately obvious. ROL moves in mysterious ways.