BMJ song used in opening credits of Boardwalk Empire

Given that Anton had been posting the '90s era BMJ albums on his website for years as free downloads, did HBO/show creators have to license the instrumental track? I'm just curious as to whether anyone has inside knowledge. Thanks.

What's this week's obsession? Provided that it doesn't involve green ears or ra*e? Who cares?