Cool, I guess I'll go with the SVBONY then! Is there any disadvantage with going with a barlow, a 9mm, and a 15mm over the whole set? I'd get a higher max magnification this way, while keeping closer to budget.
I also noticed SVBONY sells a 70 deg. FOV 15mm lens. Compared to the red line 15mm, there doesn't really seem to be any major difference to justify why this one is so more expensive? like how much does 2 extra degrees of FOV matter? and it does have less eye relief, so that's kind of a downside.