CastleWorks,
My guess is it will work just fine. You can output to many machines but think all you would need to do is set it to generic fanuc output and it will work just fine. I can probably send you a simple output file from vcarvepro, nothing fancy and output it to generic fanuc and you can do a quick test.
Russ