Video Mirroring (redirecting the monitor output through the Miro card) is not supported.
One way to get around this would be to get a color quickcam; shoot his monitor screen (NOT literally, :>) ) save it as a QuickTime file; import it into Premiere and do a make movie with the Miro compression scheme- no idea how good it would look though.
Machines Affected: All