OK, I see that asking for 250 BTC is probably too much. I was hoping some old miner with deep pockets will pop up, doesn't seem so.

Suppose instead of 250 BTC it's only, say 10 BTC. Other terms stay the same. What would be your price then? I won't hold anyone for it - just interested in what people think.