Can anybody tell me what this edit is filmed with?

looks like a panasonic, maybe a hvx or a hmc150

I recommend the hmc150. My favourite camera i've ever owned, fits right in your price range and doesnt have the p2 card hassle of the HVX. Jeff kohnstamm uses one and gets some real good colors with it.

https://www.newschoolers.com/videos/watch/867403/Brighton-PDF-Files-Episode-2-4

an Ag-Ac130 might be a newer option at the top of your price range but idk much about those.

Not sure exactly, but I'm assuming its something like a panasonic ac160.

As said already, if you wanna go budget get an hmc150, but it only shoots 720p60 and 1080p30 so its quite out of date.

An ac160 could be found used for under 2k and it shoots 1080p60. The ac130 is cheaper, smaller, probably slightly worse low light, but shoot 1080p60 and is on b&h for 1449 rn.
https://www.bhphotovideo.com/bnh/controller/home?A=details&O=&Q=&ap=y&c3api=1876%2C%7Bcreative%7D%2C%7Bkeyword%7D&gclid=EAIaIQobChMIzt7O0emn1gIVS01-Ch3X7Qq1EAQYAiABEgIuMfD_BwE&is=REG&m=Y&sku=1263853

The big thing with a servo camera is you will never be satisfied with the image in comparison to a dslr, but its very minimal, especially after its uploaded online.

If you wanna ball out, i've been looking at this camera, the HC-X1, panasonic servo camera with 4k60. its $3200 tho
https://www.bhphotovideo.com/c/product/1277528-REG/panasonic_hc_x1_4k_ultra_hd.html