I have 2 kids (14 and 16) and second what everyone has said about them not being picky. If you have a decent mid-bright lens, they’ll happily use it for almost everything.
Two other things to consider: one, it might be worth buying a goggle that comes with interchangeable lenses so that when they damage one, they still have another. You can find some (especially if they’re being discontinued and/or replaced by a new model) on close out prices, and I bought the same goggles for me & one of my kids plus a spare pair to cannabilize for lenses - it was cheaper than buying a single replacement lens, and since they were being discontinued I couldn’t count on getting lenses when/if I needed them. Just make sure there’s no gap between the goggle and their helmet so they don’t freeze their forehead and they aren’t so big that they push down on his nose. By 13 most adult goggles will fit their face better than juniors goggles.
The second thing to consider is the style, which may or may not matter to your 13 yo. My kids usually don’t care too much about style, but they both had preferences for goggles. Most lenses are either spherical or cylindrical, meaning they curve around L to R only (cylindrical) or L to R and top to bottom (spherical). Spherical tend to be a bit more expensive, but the supposed vision advantages probably don’t matter when you have young eyes. My 14yo likes the style of spherical, 16yo likes the look of cylindrical. If he’s got a preference, he might be slightly more likely to look after them. Examples below - teen on the left has cylindrical, mine on the right are spherical.