Even at ISO 800, XP2 is not very nice -- very very contrasty and murky. You can try 1600, but I'd doubt if you can get anything usable.
You should not have to do push processing for a 2 stops under-exposure. But if you want to, I think fotohub will do it for you.