This may be obvious, but has he verified that he CAN copy out of other Windows programs and paste on the Mac side? This will narrow it to a PT problem or a general VirtualBox problem.
If he can copy out of other Windows programs into Mac ones, can he copy out of PT and into the Windows side?