FoMaKo NDI PTZ Camera,AI Auto-Tracking Gen 3, 30x Optical Zoom IP USB3.0 HDMI PTZ Camera for Church Services Worship Education (NDI 6 & NDI HX3 Certified) FMK30UH NDI-B (Black Color)

This seems to be a good camera, it's one of the ones I've been looking at. All three options are on there for you to look through https://www.amazon.com/FoMaKo-Auto-Tracking-Education-Conference-K20UH/dp/B0DP2RKXSX?th=1 Looks like they all have auto-tracking. 2 of them are 4K but you don't have to run it in 4K $359-$500 may be more than you want to spend, but it's far lower cost than the PTZOptics camera that's most know with churches, and it seems to do the same things. Customer Support may not be as strong though. This is just from my research though