Another high school teacher checking in here. Did you consider DB Routers? They are from your home state too. I am currently thinking about getting one of their smaller ATC for my classes. If that happens, it will be my 4th CNC router. I am absolutely thrilled with my current ShopSabre 4896 10 tool ATC that we purchased four or five years ago. But for around $15K for a DB Routers 4 x 4 ATC is worth a second further investigation. For reference our ShopSabre ATC came in at $33K before taxes.
A teaching buddy of mine in PA recently purchased a DB Router 4x4 ATC CNC system. He was able to get if for under $15K.
https://www.dbcncrouters.com/ So far he is very pleased with it. He also has own a ShopBot Buddy; which he gave to another woodworking class/teacher in his high school. Last year he also got Legacy ATC CNC. But like me, the price for a DB Router ATC system is very attractive. That being said, DB Router's website is underwhelming and I believe they have more on their FaceBook page than their website. Nontheless, I am planning to get a quote from them for a new 3 x 4 or 4 x 4 ATC system.
FYI... Ihave owned a Phoenix CNC, two different ShopBots and my last machine is a ShopSabre 10 tool ATC. Coming from ShopBot's open Support Forum to a more controlled support system was one of my concerns; as I was so used to lurking on ShopBot's support forum to find solutions and to see what others where doing. That being said, I picked ShopSabre over CamMaster for our last CNC after CamMaster dropped the ball on critical pre-purchase technical question. When I have an issue with my ShopSabre (seldom at that), a simple phone call or Facebook User's Group post is answered very quickly to immediately.