Personnally, I don't think it's possible to keep track of all the versions that are out there. So he might in fact be using a full retail warez version. And I believe that the day it goes out, that is the same day a warez version goes out too (ie. someone buys it and copies it and puts it online somewhere)
In my case, I think the $52+tax was well spent
