As far as I'm aware, yes, the figures quoted above were purely 'income' (I'm assuming it's 'gross' and not net - net would be scary!) so your right, there's no accounting for revenues lost to piracy. Having said that, it's important to clarify here that figures thrown about by developers and publishers in that context are,…