Samsung oder IBM - Notebook kaufen?

Hallo, mein Thinkpad R40 ist mir kaputt gegangen. Aber IBM gibt mir das Geld zurück. Nun will ich entweder einen R51 von procom mit Suse 9.1 dabei kaufen, oder das aktuelle Angebot von Saturn: einen Samsung P 35 XVM 1500. Der kostet nur 1500 Euro; der IBM für Studenten aber 2000. Trotz des Preisunterschiedes habe ich mich noch nicht entschieden, weil mir scheint, das IBM-Geräte recht gut mit Linux funktionieren; bei Samsung bin ich mir noch nicht so sicher. Hat jemand Erfahrung mit dem Samsung Gerät oder kann mir Tips geben? Vielen Dank im Voraus.