In that video they look super small. Either way there is only a few things that work easy and fast and I doubt your gonna wanna use em in a grow tent that’s probably inside your house with your family.
the safer option is to get a sprayer and some lost coast plant therapy and just spray them every 2-3 days for weeks.