I'm looking at getting a printer under 500 and have been eyeing the Creality lineup. I'm not sure if it is just me, but they seem to have too many models and it is confusing trying to figure out the benefits of one over the other. I am looking at the Creality CR 20 Pro, Ender-3, and Ender-3 Pro. They all seem to be similiarish. From what I can tell, the CR 20 Pro is like the Ender 3 pro, but with auto bed leveling with a BLTouch. Does that sound accurate? Then the Ender 3 Pro is the non pro with an upgraded PSU, different build platform, and a few other changes. The price range is quite wide from the Ender 3 going ranging from $200 to the CR 20 Pro at around $420. Are there other big important changes I am missing between those models?