Tesla has automated battery pack replacement down to 90 seconds, so the yearly replacement doesn't seem like a big deal. The Aluminum-air batteries do wear out eventually as they turn the aluminum into aluminum hydroxide, but they can be recycled. Unfortunately, I haven't seen anything official on recycling efficiency, and I spent some time digging.