Since the crash site photo is "real" and the 9000fpm is a report and subject to being wrong for various reasons, based on the VERY limited info we have now i might be tempted to suggest they came down a LOT faster than that...
The maximum rate of descent was closer to 30,000fpm.