Is this really a thing? A base ISO of 12,000 is basically unusable in every day use. Is this a specialized camera for some specific use?
Otherwise, just use whatever light meter you have and calculate the difference. Elementary exposure calculation.