This walks you through updating the Vertex 4 firmware on a Mid-2012 Macbook Pro using the OCZ Linux-based tool. You can the linux-based tool download here: https://ssd.toshiba-memory.com/en-amer/ssd/
Once you get the SSD installed you optimize your Mac for your SSD: http://blog.alutam.com/2012/04/01/optimizing-macos-x-lion-for-ssd/
You can find the OCZ Vertex here: https://amzn.to/1cTdvsk