Yeah, I had the same thinking. Using the Teensy is great for development, and even for small runs of things, but it's not ideal to integrate into a product, due to space, headers, mounting, etc. And the BGA fanout makes dropping an RT1062 much more difficult than integrating an MK20 (Teensy 3.2)...