http://bccd.net/faq - Debian based Bootable Cluster CD. 'nuf said.
He is running W7 both places on a static IP? Why not just use remote desktop? I know, I dislike Windows A LOT, but for this problem, is there any reason he can't just use remote desktop? If you have access to the office machine, configure the firewall to only allow remote desktop to connect from the home IP, set the preferences on the home machine to connect to the work machine and start in full screen, and you are done. You can even link the rdp file to his desktop and he gets double-clicky access.
I would be much more, okay, slightly less paranoid about things like this with one change. Any legislation like this applies to the members of government FIRST. You want a single biometric ID for all workers, after you, Senator. Don't think we need warrants for wiretaps, fine, we will just install this nice little device on all your phones, and the transcripts can go straight to wikileaks. Have a problem with "government run health care"? Fine, we will just take away your health plan (it's government run after all). Good luck finding insurance now, Mr. Old White guy with a bad heart.
It's amazing how much better you feel once you've given up hope.
I have devised an optimal chicken stacking algorithm. Unfortunately it only works for spherical chickens.