To your point, there is a ton of gray area. One site I can responsibly link here is https://www.peptidesciences.com/ -- they're very careful about working to stay on the right side of the law, and they sell semaglutide and tirzepatide for ostensibly "not-for-human-consumption" (and at very, very high prices). So the raw ingredient, in non-medical settings, is not inherently impossible to import and sell legally. But I'm not fully convinced they're immune to lawsuits or legal action.