Hey pale, there was a Mini configured very much like yours that just sold on eBay for $450 using the buy it now option. So, your asking price is certainly in the park for those interested in an alternative OS.
The Dawg
The item description also seems remarkably similar...
