If you replace the Teensy 4.x it would have to be something very close to the same pinout, foot print, cost and features otherwise it would just be a new product. Ideally you would find a way to source the Teensy directly bypassing Sparkfun.
sparkfun is the single source supplier (and now maker of the product).
sparkfun is the single source supplier (and now maker of the product).