Sounds about right, I recently sold my 10Gb Mk1 in the UK for about $400 as well.
_________________________
Remind me to change my signature to something more interesting someday