Are there any ALX400's still in service?