Thinking about buying a Dell Mini 9 to #hackintosh it. Or should I go with another brand / modell?