http://www.amazon.co.uk/Space-Shuttl...dp/B004138ICY/
Orbiter licence:
http://orbit.medphys.ucl.ac.uk/faq.php#A2
"You can distribute Orbiter, but you are not allowed to charge a fee for it."
It's not GPL. This is the case I'm 100% sure about. But like I wrote earlier, not all of this software looks GPL, and some of them got distributing restictions for sure.
So while the illegality of GPL software he sells is questionable (whether he follows the licence and if other licences are involved, like CC) there are programs he can't sell, so the company IS doing something illegal.