For those of you who run Linux and have bought the RMBP, how is the experience? Does the Retina display work? Any driver issues? Are you dual booting or VMing? I'm looking to become more experienced with Linux (and am not sure whether to buy an RMBP), so if you could share which distro you use and your experiences, it would be very much appreciated.