I will apologize for being a Grammer Fanatic, even though my German is not too strong.
If you search for the German ones, it would be better to use Heller Bock.
Das Bier is neutral, so Helles Bier
Der Bock, masculine for the Billy Goat, so Heller Bock. That is what the style is called in Germany.
BJCP has Americanized the name.
I see that Trader Joe's has the JB Heller Bock, no idea if that is good. Andechs makes one, as does Augustiner. No idea where to find one in good shape.