I just wanted to let anyone who might need it know of the Vagrant template I extracted out of one of my current projects. It can be accessed at https://github.com/slogsdon/vagrant-phalcon if you think you might find a use for it. It received a fair amount of traction on reddit (discussion: https://www.reddit.com/r/PHP/comments/1jxn13/extracted_a_vagrant_setup_for_phalcon_from_a_side/), and I figured It might be prudent to post on the forums here as well.
Thank you Shane for contributing!
Not a problem. Thanks for creating and maintaining such an awesome framework!