how much is an ironlung worth