Yes. I've read a couple of books by Sir Branson. Virgin Airlines was used by Igor Branding agency in their naming guide of something that somebody might object even if Virgin prefix is an obvious choice for any Branson's company