What are your plans for when the carpool sticker expires in 2022/23?
I don't know if the whole sticker option will disappear after 2023, but if it is still available then the "trade in" option will still be viable. It's expensive, though (not unlike a lease actually, since you end up selling/buying with a periodicity of about 3-4 years).