Do not be seduced by high sequential benchmarks of the newer 6gb drives. The OS does mostly small random reads and writes, a task that any ssd does very well. If price is of no concern, then spend on a large gen3 drive. Expect that prices will continue to drop during this year and next, so dont plan on getting the latest and largest now. You can always add another ssd later.
As to the two you picked, I think 30gb is just a bit too small. I have used an Intel X25-V 40gb on a laptop which transformed it, but I did not need the usual amount of storage that a desktop usually needs.
In my opinion, stick with Intel. they have had a lower return rate in the past:
http://www.behardware.com/articles/810-6/components-returns-rates.html