Beside the price difference, doesn't the same article you quoted say 
that the performance issue was caused by a bug in an old version and 
that it is now solved? Can anybody with a 4801 running Mono 1.22 or 
1.3b2 confirm or deny that? Thanks.

Max