I have some DV6 and DV7 here. These have been retired. Dated machines with Core2Duo, etc.

https://www.cnet.com/forums/discussions/400-used-laptop-for-gaming-and-1080p-video-editing/ has us going over a lot more than you listed here and pretty much found you can't find a good laptop for that price.

-> Please share the models you can get so members can see if their are a good fit.

That said, maybe gaming needs to go to the cheaper (at least here) Xbox and PS3/4 and then any laptop or desktop for the video work.