Which Aussie snakes are in the U.S.?

Sorry if this has been covered before. I’m fascinated by the Aussie elapids, curious if anyone has an exhaustive list of the ones that are bred and available in the United States. It seems like both taipans, Red bellied blacks, collets, king browns, death adders and tiger snakes can all be had. Are the brown snakes just not available stateside? I know there is an export ban now, but with the notoriety of those snakes I would have thought collectors would have gotten after them.