I'm curious for everyone who upgraded from a previous generation, what did you do with your old pair? AFAIK Apple doesn't do AirPods trade-in.