The M4s along with the samsung 830's are my recommended drives. Unforunatly Newegg sold out on the m4's for $99 before 2 PM today..
On higher end SSDs, DO NOT go by the High Sequencial performance benchmark, this is normally using ATTO, a HDD benchmarking tool, that uses data that is Highly compressable, Not real-life. Also, Sequencial performance is the least important parameter for an OS + Program drive. If must look at benchmarks, use PCMark Vantage (Closest to real life performance, followed by AS SSD (designed for SSDs), Uses data that is compressed. Generally speaking, there is NOT a nickels worth of Real Life performance diff between the various Sata III SSDs - So go by reliability, and least user complains. I look at neweggs 1 and 2 reviews, Must have at least 30 reviews for it to be meaningfull.
Vertex 4 - A week ago I looked at their method to Update the Firmware. At that time they DID NOT have a bootable linux method and the only way to update the firmware was to use either a 2nd computer. You could use the computer that has it installed providing the OS was was installed on another drive. As a company I do Not recommend OCZ. The OCZ Agility III (have 2 120 gig agility IIIs) are just a Sata II ssd in a SATA III wrapper.