Thanks for the videos, but I still think you are overstating the speed. In the first 2 videos you are doing a restart, so it's a bit difficult to tell when to start counting, but it's clearly more than 13 sec. In video 3 it is still shutting down right at the beginning and then the desktop comes up in about 18-19 sec. The video is 21 sec long and ends about 1 sec after your desktop comes up.
I just installed my Vertex 3 last night in my 17" 2011 MacBook Pro and I'm seeing about the same boot times as you, 18-19 sec. When I look at boot times, I'm figuring a cold boot from the time I press the power button to when I see the desktop.
This is just splitting hairs. The bottom line is, this thing is ridiculously fast with a fast SSD.