this was actually stock music, from audionetwork.com... they have a pretty good variety of high quality productions and a very fair pricing policy. it's my go-to place pretty much every time i need music for my projects. sometimes i produce stuff by myself though, and although i call a lot of professional musicians close friends, i never ask them to produce anything for me. i know them too well to know this would increase production times by a year or two :D