I had asked the seller the same question about what was required. Thankfully, he was honest and replied that it was not legal.
"No kind of permit or health certificate will get plants in US legally, only quarantine."
It looks like I'm going to stick with Persian limes and try to graft a Winged lime. Eventually, some of those improved varieties will become available over here legally.