Creating the RPi 2 SD card is really not hard, you can just download the .tgz from the website. I do not think that the RPi ships with a default OS anyways?!