BMW 840i is listed in the official NHTSA vPIC make and model directory.
Check BMW 840i recalls · Look up a trouble code · Browse symptoms