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.
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