That is correct. However, it is a clear reference.
Yeah but it's admittedly a bit weird for me for such a generic class to get a tagged name when previous trainer classes in previous generations didn't differentiate. But I guess it's fine since there's likely going to be more Bagin references. I'll leave it alone for now.